[PATCH] Updating homepage to point people to pagure for development.

[Yuchen Pei]

I learned that librejs official repo moved to pagure.io some time ago, and the issue tracker there should replace this mailing list for librejs development. I also learned the development of the librejs website remains this mailing list. So here's a patch to direct people to the pagure project.

>From 29cb716d94bf9a6c0963bb0f2ca3c88422fd0450 Mon Sep 17 00:00:00 2001
From: Yuchen Pei <h...@ypei.me>
Date: Fri, 24 Sep 2021 22:42:15 +1000
Subject: [PATCH] Updating homepage to point people to pagure for development.

---
 index.html | 17 +++++++----------
 1 file changed, 7 insertions(+), 10 deletions(-)

diff --git a/index.html b/index.html
index 7f4a9eb..5d2b34e 100644
--- a/index.html
+++ b/index.html
@@ -99,10 +99,10 @@ is <a href="/manual/manual.html">documentation for most GNU software</a>.</p>
 
 <h3 id="contact">Contact Us</h3>
 
-<p>LibreJS has the following mailing lists:</p>
+<p>LibreJS has the following issue tracker and mailing list:</p>
 
 <ul>
-<li><a href="https://lists.gnu.org/mailman/listinfo/bug-librejs";>bug-librejs</a>
+<li><a href="https://pagure.io/librejs/issues";>https://pagure.io/librejs/issues</a>
 for discussing most aspects of
 LibreJS,
 including development and enhancement requests, as well as bug reports;</li>
@@ -133,8 +133,7 @@ the <a href="https://libera.chat/";>Libera.Chat</a> network.</p>
 LibreJS,
 and GNU in general, is a volunteer effort, and you can contribute.  For
 information, please read <a href="/help/help.html">How to help GNU</a>.  If you'd
-like to get involved, it's a good idea to join the discussion mailing
-list (see above).</p>
+like to get involved, it's a good idea to join the issue tracker (see above).</p>
 
 <dl>
 <dt>Test releases</dt>
@@ -151,19 +150,17 @@ can be found on the GNU &ldquo;alpha&rdquo; server
 
 <dd>For development sources, issue trackers, and other
 information, please see the
-<a href="https://savannah.gnu.org/projects/librejs/";>LibreJS
-project page</a>
-at <a href="https://savannah.gnu.org";>savannah.gnu.org</a>.
+<a href="https://pagure.io/librejs";>LibreJS project page</a>.
 
 <p>
     LibreJS development happens in its 
-    <strong><a href="https://git.savannah.gnu.org/cgit/librejs.git/";>
+    <strong><a href="https://pagure.io/librejs.git/";>
     Git repository</a></strong>. You can clone that
     repo with the command:
 </p>
 
 <pre class="emph-box">
- git clone git://git.sv.gnu.org/librejs.git 
+ git clone https://pagure.io/librejs.git 
 </pre>
 </dd>
 
@@ -172,7 +169,7 @@ at <a href="https://savannah.gnu.org";>savannah.gnu.org</a>.
 <dd>LibreJS
 is currently being maintained by
 Nathan Nichols, Ruben Rodriguez and Nik Nyby.
-Please use the mailing lists for contact.</dd>
+Please use the issue tracker or mailing lists for contact.</dd>
 
 <dt>Thanks</dt>
 
-- 
2.33.0



--
Best,
Yuchen

PGP Key: 47F9 D050 1E11 8879 9040  4941 2126 7E93 EF86 DFD0
          <https://ypei.me/assets/ypei-pubkey.txt>

signature.asc
Description: PGP signature