Skip to content

Commit

Permalink
ci: adds git fetch before doing schema checks
Browse files Browse the repository at this point in the history
  • Loading branch information
m-schmoock committed Jan 20, 2023
1 parent 7f3f213 commit b803d9c
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions doc/Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -209,6 +209,8 @@ doc/index.rst: $(MANPAGES:=.md)

# So GitHub renamed master to main. This is painful.
schema-added-check:
@git fetch origin master 2>&1; true
@git fetch origin main 2>&1 ; true
@if ! git describe origin/master >/dev/null 2>&1; then MASTER=main; else MASTER=master; 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

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

0 comments on commit b803d9c

Please sign in to comment.