diff options
author | Spencer Oliver <spen@spen-soft.co.uk> | 2012-04-16 17:53:28 +0100 |
---|---|---|
committer | Spencer Oliver <spen@spen-soft.co.uk> | 2012-04-20 15:34:00 +0000 |
commit | 26f1354edae2f24da85c2860b6739cbd4821115f (patch) | |
tree | cddb7fab77bb7bdfda7ac615adf09301f64454ad | |
parent | 28e43783e5876ebf6a8684ea85c51ff03403e23d (diff) |
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
-rw-r--r-- | HACKING | 4 | ||||
-rwxr-xr-x | tools/initial.sh | 2 |
2 files changed, 3 insertions, 3 deletions
@@ -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 |