diff options
-rw-r--r-- | defs/gmake.mk | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/defs/gmake.mk b/defs/gmake.mk index e1ef97f3cc..fd59b1618c 100644 --- a/defs/gmake.mk +++ b/defs/gmake.mk @@ -168,6 +168,10 @@ fetch-github: fi git -C "$(srcdir)" fetch -f github "pull/$(PR)/head:gh-$(PR)" +.PHONY: checkout-github +checkout-github: fetch-github + git -C "$(srcdir)" checkout "gh-$(PR)" + .PHONY: merge-github merge-github: fetch-github $(eval GITHUB_MERGE_BASE := $(shell git -C "$(srcdir)" log -1 --format=format:%H)) |