Proper set -e in devel script + fix repo url

pull/1074/head
Willem Melching 2020-02-10 14:47:36 -08:00
parent 6737ea2860
commit 0f2b1ea5f5
1 changed files with 2 additions and 2 deletions

View File

@ -1,5 +1,5 @@
#!/usr/bin/env bash
set e
set -e
export GIT_COMMITTER_NAME="Vehicle Researcher"
export GIT_COMMITTER_EMAIL="user@comma.ai"
@ -15,7 +15,7 @@ cd /data/openpilot
# Create git repo
git init
git remote add public git@github.com:commaai/$BRAND.git
git remote add public git@github.com:commaai/openpilot.git
git fetch public
# Checkout devel