diff options
author | Jerome Forissier <jerome.forissier@linaro.org> | 2018-12-17 15:00:16 +0100 |
---|---|---|
committer | Tomas Vanek <vanekt@fbl.cz> | 2019-01-08 09:45:52 +0000 |
commit | a6f5a167053fb2602f98671815f79d3382412d62 (patch) | |
tree | 3ca7b2b0ea78eca0877a7a6f4e526ad1d5d2fbec /tools/initial.sh | |
parent | b3ed97a4925ff441c3c2679d01e6cdb6edc123d8 (diff) |
HACKING: replace refs/publish/master with refs/for/master
refs/publish/master is deprecated and gives a warning in newer Gerrit.
Replace with refs/for/master.
Change-Id: I56871cc6e80c014ba81f4458230cd67dc318ecb3
Suggested-by: Andreas Fritiofson <andreas.fritiofson@gmail.com>
Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-on: http://openocd.zylin.com/4810
Tested-by: jenkins
Reviewed-by: Andreas Fritiofson <andreas.fritiofson@gmail.com>
Diffstat (limited to 'tools/initial.sh')
-rwxr-xr-x | tools/initial.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/initial.sh b/tools/initial.sh index 9580c9a9..446b98bd 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/publish/master + git config remote.review.push HEAD:refs/for/master else echo "Remote review exists" fi |