commit 587dcb785fabed543cbc5be4607713765917c62d
author Marc Kupietz <kupietz@ids-mannheim.de> Thu Nov 27 13:49:16 2025 +0100
committer Marc Kupietz <kupietz@ids-mannheim.de> Sat Nov 29 09:53:00 2025 +0100
tree f4bc49f613d0f5d0f21972d13e5bc91408b2efde
parent c0638a20099c78d61e36ab41198118ce4c3084a8

Set user explicitly for gerrit communication in gh import prs

Change-Id: Ic8f31e39e7f27600c9fd9a1c6f4ac5082708b457

bin/import_github_pull_requests

diff --git a/bin/import_github_pull_requests b/bin/import_github_pull_requests
index 566fbbd..d8b2235 100755
--- a/bin/import_github_pull_requests
+++ b/bin/import_github_pull_requests
@@ -103,7 +103,7 @@
 #
 # git push origin HEAD:refs/for/master
 #
-# ssh -p 29418 korap gerrit review --code-review $REVIEW_SUGGESTION \$(git rev-list $OLDHEAD..HEAD)
+# ssh -p 29418 $USER@korap gerrit review --code-review $REVIEW_SUGGESTION \$(git rev-list $OLDHEAD..HEAD)
 
 EOF
 fi