Advertise gitlab as the main git repository

diff --git a/yarrg/web/devel b/yarrg/web/devel
index fa40d1bc066f0c06b207ccfdfcd98b1640cb41aa..1bb247fdb3b97fab11ea1c5ad364807403bbbda9 100755 (executable)
--- a/yarrg/web/devel
+++ b/yarrg/web/devel
@@ -52,9 +52,8 @@ Note that there is <strong>NO WARRANTY</strong> !
 
 <h3>Source code</h3>
 
-<kbd>git clone git://git.yarrg.chiark.net/ypp-sc-tools.main.git</kbd><br>
-clones the master tree through which we push most changes.
-<p>
+The website and upload client are maintained at
+<a href="https://gitlab.com/yarrg"><kbd>https://gitlab.com/yarrg</kbd></a>.
 
 <kbd>git clone http://www.chiark.greenend.org.uk/~ijackson/ypp-sc-tools/master/.git/</kbd><br>
 obtains the source code of the latest version released for use as a