From 9fe7e042f50ba7bcd7b64e48b4e6077eeead2861 Mon Sep 17 00:00:00 2001
From: Nobuyoshi Nakada <nobu@ruby-lang.org>
Date: Sun, 11 Aug 2019 16:19:31 +0900
Subject: Note the reference to the pull request [ci skip]

---
 defs/gmake.mk | 1 +
 1 file changed, 1 insertion(+)

(limited to 'defs')

diff --git a/defs/gmake.mk b/defs/gmake.mk
index 2a11d457d6..5b6c627930 100644
--- a/defs/gmake.mk
+++ b/defs/gmake.mk
@@ -208,6 +208,7 @@ define pull-github
 	$(if $(filter true,$(COMMIT_GPG_SIGN)), \
 	  git -C "$(GITHUB_MERGE_WORKTREE)" rebase --exec "git commit --amend --no-edit -S" "$(GITHUB_MERGE_BASE)"; \
 	)
+	git -C "$(GITHUB_MERGE_WORKTREE)" rebase --exec "git notes add --message 'Merged: $(GITHUB_RUBY_URL)/pull/$(1)'" "$(GITHUB_MERGE_BASE)"
 endef
 
 define merge-github
-- 
cgit v1.2.3