From 20f2e1907a64314716a4e40b0f0e369e3b4228c1 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 8 Apr 2023 16:58:35 +0100
Subject: [PATCH] upload: Advertise gitlab

---
 yarrg/web/upload | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/yarrg/web/upload b/yarrg/web/upload
index a0c40fe..56372d0 100755
--- 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>
-- 
2.30.2