Commit f1e3ea1f authored by Wouter's avatar Wouter

Fix SSH key filename

parent 314546a8
......@@ -10,7 +10,7 @@ Mirror to github:
- echo "${GITHUB_DEPLOY_KEY}" > $HOME/.ssh/github
- mv $HOME/.ssh/config $HOME/.ssh/config~ || /bin/true
- echo "host github.com" > $HOME/.ssh/config
- echo " IdentityFile %d/.ssh/id_rsa.github" >> $HOME/.ssh/config
- 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
......
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