phone CI: pull over https, push over ssh

2026-09-30 19:33:42 +08:00 · 2020-07-03 19:40:39 -07:00
parent 32f03ec8a5
commit ba20e91d11
1 changed files with 1 additions and 1 deletions
@@ -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"