diff --git a/.github/github_pushback.sh b/.github/github_pushback.sh index 5a58dd9..d06e5b7 100755 --- a/.github/github_pushback.sh +++ b/.github/github_pushback.sh @@ -10,7 +10,7 @@ ssh-keyscan -H git.pika-os.com >> ~/.ssh/known_hosts #export GIT_SSH_COMMAND="ssh -F ~/.ssh/config" -ssh -vT git@git.pika-os.com +ssh -o StrictHostKeyChecking=no -vT git@git.pika-os.com # Commit changes to git git config --global user.name 'ferreo'