summaryrefslogtreecommitdiff
path: root/contributing
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2024-04-07 17:18:07 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2024-04-07 17:18:07 +0200
commit0db356ea482b3045f4d49b5c7953791bf18573a3 (patch)
treed083419e0fb7f974b4111a5fcd44174d1d221556 /contributing
parent9553439d7562aad9c3b58a83fc7c0059fc29422a (diff)
Fix git.savannah.gnu.org urls into https
Diffstat (limited to 'contributing')
-rw-r--r--contributing/web_pages.mdwn4
1 files changed, 2 insertions, 2 deletions
diff --git a/contributing/web_pages.mdwn b/contributing/web_pages.mdwn
index b1556dd6..e156f6a3 100644
--- a/contributing/web_pages.mdwn
+++ b/contributing/web_pages.mdwn
@@ -143,9 +143,9 @@ Or, you can check out the Savannah repository:
..., or:
- $ git clone http://git.savannah.gnu.org/cgit/hurd/web.git [dest]
+ $ git clone https://git.savannah.gnu.org/cgit/hurd/web.git [dest]
-See <http://git.savannah.gnu.org/cgit/hurd/web.git>. If you're using the `ssh`
+See <https://git.savannah.gnu.org/cgit/hurd/web.git>. If you're using the `ssh`
protocol, and you're a member of the Hurd's [[rules/Savannah_group]], you can
also push to this repository. The disadvantage of pushing to the Savannah
repository is that there is no [[ikiwiki]] installation where the pushed