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
This commit is contained in:
Spencer Oliver 2012-04-16 17:53:28 +01:00
parent 28e43783e5
commit 26f1354eda
2 changed files with 3 additions and 3 deletions

View File

@ -69,12 +69,12 @@ to instruct git locally how to send off the changes.
-# Add a new remote to git using Gerrit username: -# Add a new remote to git using Gerrit username:
@code @code
git remote add review ssh://USERNAME@openocd.zylin.com:29418/openocd.git 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 @endcode
Or with http only: Or with http only:
@code @code
git remote add review http://openocd.zylin.com/p/openocd.git 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 @endcode
-# You will need to install this hook, we will look into a better solution: -# You will need to install this hook, we will look into a better solution:
@code @code

View File

@ -12,7 +12,7 @@ add_remote()
remote_exist=`grep remote .git/config | grep review | wc -l` remote_exist=`grep remote .git/config | grep review | wc -l`
if [ "x$remote_exist" = "x0" ] ; then if [ "x$remote_exist" = "x0" ] ; then
git remote add review ssh://$USERNAME@openocd.zylin.com:29418/openocd.git 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 else
echo "Remote review exists" echo "Remote review exists"
fi fi