doc: allow commits to suppress the schema checks.

The stupid requirement for JSON commas combines with our inability to
annotate the removal or introduction of enum values and our naive
check here, to produce a false positive.  Allow commit messages to
suppress.

No-schema-diff-check: removed enum `websocket` as value type.

Signed-off-by: Rusty Russell <[email protected]>

Author: rustyrussell

doc/Makefile

@@ -231,12 +231,14 @@ doc/index.rst: $(MANPAGES:=.md)
 # When running on GitHub (CI=true), we need to fetch origin/master
 schema-added-check:
 	@if ! test -z $$CI; then git fetch origin master; fi; \
+	if git show --format=%B -s origin/master.. | grep -q '^No-schema-diff-check'; then exit 0; fi; \
 	if git diff origin/master -- doc/schemas | grep -q '^+.*{' && ! git diff origin/master -- doc/schemas | grep -q '^+.*"added"'; then \
 		git diff origin/master -- doc/schemas; \
 		echo 'New schema fields must have "added": "vNEXTVERSION"' >&2; exit 1; \
 	fi
 schema-removed-check:
 	@if ! test -z $$CI; then git fetch origin master; fi; \
+	if git show --format=%B -s origin/master.. | grep -q '^No-schema-diff-check'; then exit 0; fi; \
 	if git diff origin/master -- doc/schemas | grep -q '^-.*{' && ! git diff origin/master -- doc/schemas | grep -q '^-.*"deprecated"' && ! git diff origin/master -- doc/schemas | grep -q '^-.*EXPERIMENTAL_FEATURES'; then \
 		git diff origin/master -- doc/schemas ; \
 		echo 'Schema fields must be "deprecated", with version, not removed' >&2; exit 1; \