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 | |
parent | b3ed97a4925ff441c3c2679d01e6cdb6edc123d8 (diff) | |
download | riscv-openocd-a6f5a167053fb2602f98671815f79d3382412d62.zip riscv-openocd-a6f5a167053fb2602f98671815f79d3382412d62.tar.gz riscv-openocd-a6f5a167053fb2602f98671815f79d3382412d62.tar.bz2 |
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>
-rw-r--r-- | HACKING | 4 | ||||
-rwxr-xr-x | tools/initial.sh | 2 |
2 files changed, 3 insertions, 3 deletions
@@ -122,12 +122,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/publish/master +git config remote.review.push HEAD:refs/for/master @endcode Or with http only: @code git remote add review http://USERNAME@openocd.zylin.com/p/openocd.git -git config remote.review.push HEAD:refs/publish/master +git config remote.review.push HEAD:refs/for/master @endcode The http password is configured from your gerrit settings - http://openocd.zylin.com/#/settings/http-password. \note If you want to simplify http access you can also add your http password to the url as follows: diff --git a/tools/initial.sh b/tools/initial.sh index 9580c9a..446b98b 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 |