Skip to content

Conversation

duncdrum
Copy link
Contributor

smokey says: "only you can prevent the docs from getting out of date"

@duncdrum duncdrum requested a review from a team January 28, 2020 01:33
Copy link
Contributor

@lguariento lguariento left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks fine to me

Copy link
Contributor

@tuurma tuurma left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Minor stylistic comments, otherwise good to go.

One side note for the future, it would simplify review greatly to keep the prettyfing changes (like whitespace) in a separate PR to make review easier. Many thanks though for the springcleaning effort!

@duncdrum duncdrum force-pushed the springcleaning-2020 branch from ea06b1a to 290af25 Compare January 29, 2020 12:29
@duncdrum duncdrum marked this pull request as ready for review January 29, 2020 20:59
@duncdrum
Copy link
Contributor Author

Thank you for the speedy reviews, while i was still working on this. I have incorporated your comments.

@joewiz schematron is not available for now, if we need to extend the new schema rules beyond the abilities of relaxng we should do so via the test-suite.xql.

@tuurma yes while you can choose not to display whitespace changes in the review options on Github, this is what it is. We are now linting all listings during build, we could extend that to articles, which would make review easier, but last time i suggested that there was some pushback. So maybe something for the community call.

mic drop

@duncdrum duncdrum added this to the 5.2.0 milestone Jan 29, 2020
@duncdrum duncdrum requested a review from a team January 29, 2020 23:17
@duncdrum duncdrum force-pushed the springcleaning-2020 branch from 8624887 to 63b2a4b Compare January 30, 2020 22:26
@duncdrum duncdrum merged commit 739095a into eXist-db:master Feb 2, 2020
@duncdrum duncdrum deleted the springcleaning-2020 branch February 2, 2020 10:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants