1berry/ruby
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Also clean up branch for worktree

Browse Source
This commit is contained in:
Takashi Kokubun 2019-08-16 01:51:22 +09:00
parent d21616eeb0
commit 409ce8c3da
No known key found for this signature in database
GPG Key ID: 6FFC433B12EE23DD
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
defs/gmake.mk
View File

@ -206,7 +206,8 @@ update-github: fetch-github
git -C "$(srcdir)" remote add fork-$(PR) git@github.com:$(FORK_REPO).git
git -C "$(GITHUB_UPDATE_WORKTREE)" push fork-$(PR) gh-$(PR):$(PR_BRANCH)
git -C "$(srcdir)" remote rm fork-$(PR)
git -C "$(srcdir)" worktree remove --force $(GITHUB_UPDATE_WORKTREE)
git -C "$(srcdir)" worktree remove $(notdir $(GITHUB_UPDATE_WORKTREE))
git -C "$(srcdir)" branch -D gh-$(PR)
.PHONY: pull-github
pull-github: fetch-github