docs: update gerrit publish refs

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

diff --git a/HACKING b/HACKING
index 7cd5b23567d5556fc522cbdc2a809a020b04cd94..9eb41a5cc8aeaee2a0d12497572a7bc78afc3f1b 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

diff --git a/tools/initial.sh b/tools/initial.sh
index c183d014e3daa87ee8292a2ebc24a134746619db..9caba5a4a124619d1b7dbbdfe371c7ff66142aae 100755 (executable)
--- 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