upload: Advertise gitlab

diff --git a/yarrg/web/upload b/yarrg/web/upload
index a0c40fe2360e3c23b49472c5489060ef4ef9b2f4..56372d0ca5e8097c7b4b4a6e0efd0e313a83590c 100755 (executable)
--- a/yarrg/web/upload
+++ b/yarrg/web/upload
@@ -204,7 +204,14 @@ The download directory also sometimes contains other versions
 
 <p>
 
-We maintain JARRG in git, and you can get
+We maintain JARRG in git
+<a href="https://gitlab.com/yarrg/jarrg">on gitlab</a>.
+In case of problems,
+please make an Issue there.
+
+<p>
+
+You can maybe get
 source code for recent and perhaps unreleased versions from one of:
 <pre>
 git://git.yarrg.chiark.net/jarrg-ian.git</code> <a href="http://www.chiark.greenend.org.uk/ucgi/~yarrgweb/git?p=jarrg-ian.git;a=summary">(gitweb)</a>