Commit cd274db3 authored by Wouter's avatar Wouter

Fetch before push --mirror

parent f1e3ea1f
......@@ -14,6 +14,7 @@ Mirror to github:
- echo " PubKeyAuthentication yes" >> $HOME/.ssh/config
- git remote add github git@github.com:${GITHUB_REPOSITORY} || /bin/true
- git fetch github
- git push --mirror github
- mv $HOME/.ssh/config~ $HOME/.ssh/config || /bin/true
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment