docs: update gerrit publish refs
authorSpencer Oliver <spen@spen-soft.co.uk>
Mon, 16 Apr 2012 16:53:28 +0000 (17:53 +0100)
committerSpencer Oliver <spen@spen-soft.co.uk>
Fri, 20 Apr 2012 15:34:00 +0000 (15:34 +0000)
since gerrit 2.3 pushing changes to refs/for/ is deprecated in
favour of using refs/publish/.

Change-Id: I6244b9645da2144921583bd9778a95c563fac89f
Signed-off-by: Spencer Oliver <spen@spen-soft.co.uk>
Reviewed-on: http://openocd.zylin.com/567
Tested-by: jenkins
HACKING
tools/initial.sh

diff --git a/HACKING b/HACKING
index 7cd5b23..9eb41a5 100644 (file)
--- 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
index c183d01..9caba5a 100755 (executable)
@@ -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