From 0a37fc0565d382c61e30d8d1e0b5a6cfe0f45a0f Mon Sep 17 00:00:00 2001
From: Adeeb Shihadeh <adeebshihadeh@gmail.com>
Date: Fri, 3 Jul 2020 19:40:39 -0700
Subject: [PATCH] phone CI: pull over https, push over ssh

old-commit-hash: ba20e91d1194014a25122793c49456a010413779
---
 release/build_devel.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"