diff options
| -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 |