From 8ec822742c691779a5ae4dabd41dd28015e6881f Mon Sep 17 00:00:00 2001 From: Karan Batavia Date: Wed, 5 Jun 2024 12:09:58 +0530 Subject: [PATCH] change back to add upstream --- upstream_sync.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 ]"