Add done recipe that cleans up a merged branch (#57)

Rebases BRANCH on github master and deletes if merged.
This commit is contained in:
Casey Rodarmor 2016-11-11 18:52:27 -08:00 committed by GitHub
parent 2882b78de5
commit b038490061

View File

@ -30,6 +30,13 @@ publish: clippy build
git push origin --tags
@echo 'Remember to merge the v{{version}} branch on GitHub!'
done BRANCH:
git checkout {{BRANCH}}
git pull --rebase github master
git checkout master
git pull --rebase github master
git branch -d {{BRANCH}}
clippy:
rustup run nightly cargo clippy