phone CI: pull over https, push over ssh

old-commit-hash: ba20e91d11
5 years ago · 0a37fc0565
parent de457fddc2
commit 0a37fc0565
1 changed files with 1 additions and 1 deletions
--- 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"