Add FLAGS to push recipe, get rid of push-f recipe (#130)

This commit is contained in:
Casey Rodarmor 2016-11-18 07:14:48 -08:00 committed by GitHub
parent bf42b23be3
commit 0195a15e68

View File

@ -41,16 +41,10 @@ done BRANCH:
git branch -d {{BRANCH}} git branch -d {{BRANCH}}
# push master to github as branch GITHUB-BRANCH # push master to github as branch GITHUB-BRANCH
push GITHUB-BRANCH: push GITHUB-BRANCH +FLAGS='':
git branch | grep '* master' git branch | grep '* master'
git diff --no-ext-diff --quiet --exit-code git diff --no-ext-diff --quiet --exit-code
git push github master:refs/heads/{{GITHUB-BRANCH}} git push {{FLAGS}} github master:refs/heads/{{GITHUB-BRANCH}}
# force push master to github as branch GITHUB_BRANCH
push-f GITHUB-BRANCH:
git branch | grep '* master'
git diff --no-ext-diff --quiet --exit-code
git push github -f master:refs/heads/{{GITHUB-BRANCH}}
# install just from crates.io # install just from crates.io
install: install: