diff --git a/.github/github_pushback.sh b/.github/github_pushback.sh index f9eb459..0e5ebfb 100755 --- a/.github/github_pushback.sh +++ b/.github/github_pushback.sh @@ -8,6 +8,8 @@ echo -e "Host git.pika-os.com\n\tIdentityFile ~/.ssh/id_rsa\n\tStrictHostKeyChec #ssh-agent -a $SSH_AUTH_SOCK > /dev/null #ssh-add - <<< "$1" +export GIT_SSH_COMMAND="ssh -F ~/.ssh/config" + ssh -vT git@git.pika-os.com # Commit changes to git