Drop obsoleted make merge-github task

This commit is contained in:
Takashi Kokubun 2019-08-14 23:41:30 +09:00
parent 7da40d74e1
commit e173012f44
No known key found for this signature in database
GPG key ID: 6FFC433B12EE23DD

View file

@ -191,10 +191,6 @@ checkout-github: fetch-github
pull-github: fetch-github
$(call pull-github,$(PR))
.PHONY: merge-github
merge-github: pull-github
$(call merge-github,$(PR))
define pull-github
$(eval GITHUB_MERGE_BASE := $(shell git -C "$(srcdir)" log -1 --format=format:%H))
$(eval GITHUB_MERGE_BRANCH := $(shell git -C "$(srcdir)" symbolic-ref --short HEAD))
@ -208,12 +204,6 @@ define pull-github
git -C "$(GITHUB_MERGE_WORKTREE)" rebase --exec "git notes add --message 'Merged: $(GITHUB_RUBY_URL)/pull/$(1)'" "$(GITHUB_MERGE_BASE)"
endef
define merge-github
git -C "$(srcdir)" worktree remove $(notdir $(GITHUB_MERGE_WORKTREE))
git -C "$(srcdir)" merge --ff-only "gh-$(1)"
git -C "$(srcdir)" branch -D "gh-$(1)"
endef
.PHONY: fetch-github-%
fetch-github-%:
$(call fetch-github,$*)
@ -226,14 +216,9 @@ checkout-github-%: fetch-github-%
pr-% pull-github-%: fetch-github-%
$(call pull-github,$*)
.PHONY: merge-github-%
merge-github-%: pull-github-%
$(call merge-github,$*)
HELP_EXTRA_TASKS = \
" checkout-github: checkout GitHub Pull Request [PR=1234]" \
" pull-github: rebase GitHub Pull Request to new worktree [PR=1234]" \
" merge-github: merge GitHub Pull Request to current HEAD [PR=1234]" \
""
ifeq ($(words $(filter update-gems extract-gems,$(MAKECMDGOALS))),2)