mirror of
https://github.com/ruby/ruby.git
synced 2022-11-09 12:17:21 -05:00
Note the reference to the pull request [ci skip]
This commit is contained in:
parent
51d9d0f888
commit
9fe7e042f5
Notes:
git
2019-08-31 04:40:14 +09:00
1 changed files with 1 additions and 0 deletions
|
@ -208,6 +208,7 @@ define pull-github
|
||||||
$(if $(filter true,$(COMMIT_GPG_SIGN)), \
|
$(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 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
|
endef
|
||||||
|
|
||||||
define merge-github
|
define merge-github
|
||||||
|
|
Loading…
Reference in a new issue