[GitHub] [lucene-solr] dweiss commented on issue #1242: LUCENE-9201: Port documentation-lint task to Gradle build

2020-02-11 Thread GitBox
dweiss commented on issue #1242: LUCENE-9201: Port documentation-lint task to Gradle build URL: https://github.com/apache/lucene-solr/pull/1242#issuecomment-584679461 Don't close the PR, Tomoko. I agree with Uwe that it should be split but what you did is a good start. I'll try to write up

[GitHub] [lucene-solr] dweiss commented on issue #1242: LUCENE-9201: Port documentation-lint task to Gradle build

2020-02-12 Thread GitBox
dweiss commented on issue #1242: LUCENE-9201: Port documentation-lint task to Gradle build URL: https://github.com/apache/lucene-solr/pull/1242#issuecomment-585103020 Ok, sure thing. I'll create a sub-task on this issue and maybe try to push the ecj linter forward so that it is there as an