aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--HACKING4
-rwxr-xr-xtools/initial.sh2
2 files changed, 3 insertions, 3 deletions
diff --git a/HACKING b/HACKING
index 7cd5b235..9eb41a5c 100644
--- a/HACKING
+++ b/HACKING
@@ -69,12 +69,12 @@ to instruct git locally how to send off the changes.
-# Add a new remote to git using Gerrit username:
@code
git remote add review ssh://USERNAME@openocd.zylin.com:29418/openocd.git
-git config remote.review.push HEAD:refs/for/master
+git config remote.review.push HEAD:refs/publish/master
@endcode
Or with http only:
@code
git remote add review http://openocd.zylin.com/p/openocd.git
-git config remote.review.push HEAD:refs/for/master
+git config remote.review.push HEAD:refs/publish/master
@endcode
-# You will need to install this hook, we will look into a better solution:
@code
diff --git a/tools/initial.sh b/tools/initial.sh
index c183d014..9caba5a4 100755
--- a/tools/initial.sh
+++ b/tools/initial.sh
@@ -12,7 +12,7 @@ add_remote()
remote_exist=`grep remote .git/config | grep review | wc -l`
if [ "x$remote_exist" = "x0" ] ; then
git remote add review ssh://$USERNAME@openocd.zylin.com:29418/openocd.git
- git config remote.review.push HEAD:refs/for/master
+ git config remote.review.push HEAD:refs/publish/master
else
echo "Remote review exists"
fi