Commit 57eab5d2 authored by Wouter's avatar Wouter

Add remote with --mirror=push

parent d8552e4a
......@@ -15,9 +15,8 @@ Mirror to github:
- echo " IdentityFile %d/.ssh/github" >> $HOME/.ssh/config
- echo " PubKeyAuthentication yes" >> $HOME/.ssh/config
- git remote add github git@github.com:${GITHUB_REPOSITORY} || /bin/true
- git fetch github
- git push --mirror github
- git remote add --mirror=push github git@github.com:${GITHUB_REPOSITORY} || /bin/true
- git push github
after_script:
- 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