diff options
author | Nobuyoshi Nakada <nobu@ruby-lang.org> | 2019-08-15 21:34:34 +0900 |
---|---|---|
committer | Nobuyoshi Nakada <nobu@ruby-lang.org> | 2019-08-15 21:34:34 +0900 |
commit | c4152b11a7fbc849a545b34e5b9d85f1fdc1a21f (patch) | |
tree | ad2e794b55a3aab254b8c138085515af6e38941b /defs/gmake.mk | |
parent | fff2b231a31f1213d5bc1604ac5e12d8f1e82e57 (diff) | |
download | ruby-c4152b11a7fbc849a545b34e5b9d85f1fdc1a21f.tar.gz |
Prepare to pull commits notes [ci skip]
Diffstat (limited to 'defs/gmake.mk')
-rw-r--r-- | defs/gmake.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/defs/gmake.mk b/defs/gmake.mk index 798d673172..b26c6031b2 100644 --- a/defs/gmake.mk +++ b/defs/gmake.mk @@ -161,6 +161,7 @@ PR = COMMIT_GPG_SIGN = $(shell git -C "$(srcdir)" config commit.gpgsign) REMOTE_GITHUB_URL = $(shell git -C "$(srcdir)" config remote.github.url) +COMMITS_NOTES = commits .PHONY: fetch-github fetch-github: @@ -175,6 +176,7 @@ define fetch-github $(if $(REMOTE_GITHUB_URL),, \ echo adding $(GITHUB_RUBY_URL) as remote github; \ git -C "$(srcdir)" remote add github $(GITHUB_RUBY_URL); \ + git -C "$(srcdir)" config --add remote.github.fetch +refs/notes/$(COMMITS_NOTES):refs/notes/$(COMMITS_NOTES) $(eval REMOTE_GITHUB_URL := $(GITHUB_RUBY_URL)) \ ) $(if $(git -C "$(srcdir)" rev-parse "github/pull/$(1)/head" -- 2> /dev/null), \ |