diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-04-07 17:18:07 +0200 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-04-07 17:18:07 +0200 |
commit | 0db356ea482b3045f4d49b5c7953791bf18573a3 (patch) | |
tree | d083419e0fb7f974b4111a5fcd44174d1d221556 /contributing | |
parent | 9553439d7562aad9c3b58a83fc7c0059fc29422a (diff) |
Fix git.savannah.gnu.org urls into https
Diffstat (limited to 'contributing')
-rw-r--r-- | contributing/web_pages.mdwn | 4 |
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 |