Use force if necessary (needed after merging a pull request on GitHub)

This commit is contained in:
HungryHobo
2014-03-26 19:46:27 +00:00
parent b599d1416a
commit 4b523c44ab

View File

@ -117,7 +117,7 @@ git fast-import < ../i2p.git_export
echo "Pushing branch $BRANCH to github"
git checkout $BRANCH
git remote add origin git@github.com:i2p/${BRANCH}.git
git push origin HEAD:master
git push origin HEAD:master --force
cd ..