gerrit url: update the gerrit server address to https://review.openocd.org

change the gerrit server address from http://openocd.zylin.com to the new
address in order to avoid re-directions.

Change-Id: I76e128c277f63783d1a6f63a6a387aa838f51f80
Signed-off-by: Tarek BOCHKATI <tarek.bouchkati@gmail.com>
Reviewed-on: https://review.openocd.org/c/openocd/+/6481
Tested-by: jenkins
Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>

diff --git a/HACKING b/HACKING
index c1a6b0e8a17fb45f2750da611d38223765ce928d..cf3f58906064381952c45a52c9494faf8a0aa5ce 100644 (file)
--- a/HACKING
+++ b/HACKING
@@ -91,7 +91,7 @@ Add yourself to the GPL copyright for non-trivial changes.
 
 @section stepbystep Step by step procedure
 
--# Create a Gerrit account at: http://openocd.zylin.com
+-# Create a Gerrit account at: https://review.openocd.org
   - On subsequent sign ins, use the full URL prefaced with 'http://'
     For example: http://user_identifier.open_id_provider.com
   -# Add a username to your profile.
@@ -121,18 +121,18 @@ Add yourself to the GPL copyright for non-trivial changes.
 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 remote add review ssh://USERNAME@review.openocd.org:29418/openocd.git
 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 remote add review https://USERNAME@review.openocd.org/p/openocd.git
 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.
+  The http password is configured from your gerrit settings - https://review.openocd.org/#/settings/http-password.
   \note If you want to simplify http access you can also add your http password to the url as follows:
 @code
-git remote add review http://USERNAME:PASSWORD@openocd.zylin.com/p/openocd.git
+git remote add review https://USERNAME:PASSWORD@review.openocd.org/p/openocd.git
 @endcode
   \note All contributions should be pushed to @c refs/for/master on the
 Gerrit server, even if you plan to use several local branches for different
@@ -140,11 +140,11 @@ topics. It is possible because @c for/master is not a traditional Git
 branch.
   -# You will need to install this hook, we will look into a better solution:
 @code
-scp -p -P 29418 USERNAME@openocd.zylin.com:hooks/commit-msg .git/hooks/
+scp -p -P 29418 USERNAME@review.openocd.org:hooks/commit-msg .git/hooks/
 @endcode
   Or with http only:
 @code
-wget http://openocd.zylin.com/tools/hooks/commit-msg
+wget https://review.openocd.org/tools/hooks/commit-msg
 mv commit-msg .git/hooks
 chmod +x .git/hooks/commit-msg
 @endcode
@@ -228,10 +228,10 @@ not have to) be disregarded if all conditions listed below are met:
 - reviewer does not answer e-mails for another month.
 
 @section browsing Browsing Patches
-All OpenOCD patches can be reviewed <a href="http://openocd.zylin.com/">here</a>.
+All OpenOCD patches can be reviewed <a href="https://review.openocd.org/">here</a>.
 
 @section reviewing Reviewing Patches
-From the main <a href="http://openocd.zylin.com/#/q/status:open,n,z">Review
+From the main <a href="https://review.openocd.org/#/q/status:open,n,z">Review
 page</a> select the patch you want to review and click on that patch. On the
 appearing page select the download method (top right). Apply the
 patch. After building and testing you can leave a note with the "Reply"

diff --git a/doc/openocd.texi b/doc/openocd.texi
index 6a8350a512cb80e6ee51381d0855e7cd55130167..8572ce4a7f628572bc35cb4cef10a371dd567634 100644 (file)
--- a/doc/openocd.texi
+++ b/doc/openocd.texi
@@ -265,7 +265,7 @@ listed in the Doxyfile configuration at the top of the source tree.
 All changes in the OpenOCD Git repository go through the web-based Gerrit
 Code Review System:
 
-@uref{http://openocd.zylin.com/}
+@uref{https://review.openocd.org/}
 
 After a one-time registration and repository setup, anyone can push commits
 from their local Git repository directly into Gerrit.

diff --git a/tools/initial.sh b/tools/initial.sh
index 446b98bdaf6945f0bbd2eff32338684312a6d984..eafc9c13872c42e689ec597ffb0d503b97991f6c 100755 (executable)
--- a/tools/initial.sh
+++ b/tools/initial.sh
@@ -11,7 +11,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 remote add review ssh://$USERNAME@review.openocd.org:29418/openocd.git
                git config remote.review.push HEAD:refs/for/master
        else
                echo "Remote review exists"
@@ -25,7 +25,7 @@ update_commit_msg()
        mv commit-msg $save_file
        printf "%-30s"  "Updating commit-msg"
        status="OK"
-       wget -o log     http://openocd.zylin.com/tools/hooks/commit-msg || status="FAIL"
+       wget -o log     https://review.openocd.org/tools/hooks/commit-msg       || status="FAIL"
        echo $status
        if [ $status = "FAIL" ] ; then
                mv      $save_file      commit-msg