fix remote 'fork not existing'

hpcugent · Sep 10, 2024 · 0e2bd1a · 0e2bd1a
1 parent 24b3d49
commit 0e2bd1a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/scripts/modules_auto_pr/modules_auto_pr.sh b/scripts/modules_auto_pr/modules_auto_pr.sh
@@ -78,10 +78,10 @@ main() {
   N_REMOVED_MODULES=$(git show --name-status HEAD | grep -e "^D.*\.md$" | wc -l)
 
   # Push the new branch to GitHub
-  git remote add fork_${fork_user} "$fork_url"
+  git remote add fork "$fork_url"
   git push fork "$BRANCH_NAME"
 
-  # Set the ugent repo as the default remote
+  # Set the UGent repo as the default remote
   gh repo set-default $REPO_URL
 
   # Create a pull request using GitHub CLI. Pull request is automatically created into the default repository.