diff --git a/upstream_sync.sh b/upstream_sync.sh index fb7b9c0be5d8..4ef55d911883 100755 --- a/upstream_sync.sh +++ b/upstream_sync.sh @@ -2,7 +2,7 @@ set -e -git remote set-url upstream https://github.com/joernio/joern +git remote add upstream https://github.com/joernio/joern usage() { echo "Usage: $0 [--publish] [--branch ]"