diff --git a/release/build_devel.sh b/release/build_devel.sh index d4f7dfa029..5194bef9a4 100755 --- a/release/build_devel.sh +++ b/release/build_devel.sh @@ -95,7 +95,7 @@ popd if [ ! -z "$CI_PUSH" ]; then echo "[-] Pushing to $CI_PUSH T=$SECONDS" - git push -f origin master-ci:$CI_PUSH + git push -f git@github.com:commaai/openpilot.git master-ci:$CI_PUSH fi echo "[-] done pushing T=$SECONDS"