diff options
author | Takashi Kokubun <takashikkbn@gmail.com> | 2019-04-25 18:05:51 +0900 |
---|---|---|
committer | Takashi Kokubun <takashikkbn@gmail.com> | 2019-04-25 18:05:52 +0900 |
commit | 6de9128fe942de9a0306fe63b949b1a9c343e2c8 (patch) | |
tree | e726e3296139830614738f34336924f68dd63db4 /defs | |
parent | 116f91ab504a450b1b96d6b3f029fbaa5f99a305 (diff) |
Add `make checkout-github` too
You can use this like `make checkout-github PR=1234`
Diffstat (limited to 'defs')
-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)) |