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

Clean up temporary git resources

Browse Source 
after `make update-github`
This commit is contained in:
Takashi Kokubun 2019-08-16 01:45:00 +09:00
parent 2665e5858f
commit d21616eeb0
No known key found for this signature in database
GPG Key ID: 6FFC433B12EE23DD
1 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
defs/gmake.mk
View File

@ -203,8 +203,10 @@ update-github: fetch-github
git -C "$(srcdir)" worktree add $(notdir $(GITHUB_UPDATE_WORKTREE)) "gh-$(PR)"
git -C "$(GITHUB_UPDATE_WORKTREE)" merge master --no-edit
@$(BASERUBY) -e 'print "Are you sure to push this to PR=$(PR)? [Y/n]: "; exit(gets.chomp == "n" ? 1 : 0)'
git -C "$(GITHUB_UPDATE_WORKTREE)" remote add fork-$(PR) git@github.com:$(FORK_REPO).git
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)
.PHONY: pull-github
pull-github: fetch-github