aboutsummaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorSpencer Oliver <spen@spen-soft.co.uk>2012-04-16 17:53:28 +0100
committerSpencer Oliver <spen@spen-soft.co.uk>2012-04-20 15:34:00 +0000
commit26f1354edae2f24da85c2860b6739cbd4821115f (patch)
treecddb7fab77bb7bdfda7ac615adf09301f64454ad /tools
parent28e43783e5876ebf6a8684ea85c51ff03403e23d (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
Diffstat (limited to 'tools')
-rwxr-xr-xtools/initial.sh2
1 files changed, 1 insertions, 1 deletions
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