Skip to content

Commit

Permalink
foobar: print remotes and branches before schema checks
Browse files Browse the repository at this point in the history
  • Loading branch information
m-schmoock committed Jan 20, 2023
1 parent c9fd207 commit 3585165
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions doc/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -209,6 +209,7 @@ doc/index.rst: $(MANPAGES:=.md)

# So GitHub renamed master to main. This is painful.
schema-added-check:
@git remote -v; git branch;
@if ! git describe master >/dev/null 2>&1; then MASTER=main; else MASTER=master; fi; if git diff $$MASTER doc/schemas | grep -q '^+.*{' && ! git diff master doc/schemas | grep -q '^+.*"added"'; then git diff $$MASTER doc/schemas ; echo 'New schema fields must have "added": "vNEXTVERSION"' >&2; exit 1; fi

# So GitHub renamed master to main. This is painful.
Expand Down

0 comments on commit 3585165

Please sign in to comment.