From c4152b11a7fbc849a545b34e5b9d85f1fdc1a21f Mon Sep 17 00:00:00 2001 From: Nobuyoshi Nakada Date: Thu, 15 Aug 2019 21:34:34 +0900 Subject: [PATCH] Prepare to pull commits notes [ci skip] --- defs/gmake.mk | 2 ++ 1 file changed, 2 insertions(+) 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), \