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]>
ElementsProject · May 30, 2023 · bee38cf · bee38cf
1 parent 9e2ec0d
commit bee38cf
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/doc/Makefile b/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; \