diff options
author | Nobuyoshi Nakada <nobu@ruby-lang.org> | 2019-08-11 16:19:31 +0900 |
---|---|---|
committer | Nobuyoshi Nakada <nobu@ruby-lang.org> | 2019-08-11 16:20:11 +0900 |
commit | 9fe7e042f50ba7bcd7b64e48b4e6077eeead2861 (patch) | |
tree | 79eee1743ec40361bf491248304951c8968a7d94 | |
parent | 51d9d0f8887820ce52234c80d78388b002e6e628 (diff) | |
download | ruby-9fe7e042f50ba7bcd7b64e48b4e6077eeead2861.tar.gz |
Note the reference to the pull request [ci skip]
-rw-r--r-- | defs/gmake.mk | 1 |
1 files changed, 1 insertions, 0 deletions
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 |