From 6de9128fe942de9a0306fe63b949b1a9c343e2c8 Mon Sep 17 00:00:00 2001
From: Takashi Kokubun <takashikkbn@gmail.com>
Date: Thu, 25 Apr 2019 18:05:51 +0900
Subject: Add `make checkout-github` too

You can use this like `make checkout-github PR=1234`
---
 defs/gmake.mk | 4 ++++
 1 file changed, 4 insertions(+)

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))
-- 
cgit v1.2.1