From f878fe3269160ccdec9a4b3e9b28147c633d1ac6 Mon Sep 17 00:00:00 2001
From: Selmen Arous <selmen.arous@gmail.com>
Date: Sun, 7 Apr 2019 23:41:18 +0100
Subject: [PATCH 1/2] repair micro:bit mailing list

remove reference to non existant micro:bit mailing list and adding reference to its archive (thanks ntoll)
---
 templates/community/microbit.html | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/templates/community/microbit.html b/templates/community/microbit.html
index 2cca6f040..99af4668a 100644
--- a/templates/community/microbit.html
+++ b/templates/community/microbit.html
@@ -49,11 +49,10 @@ <h2>Community</h2>
             <li>During development, we sent some of the devices on a
             <a href="https://microworldtour.github.io/">World Tour</a>. Check
             out their travelogues for lots of cool projects and ideas.</li>
-            <li>There is a
-            <a href="https://mail.python.org/mailman/listinfo/microbit">mailing
-            list</a> for discussion of MicroPython on the BBC micro:bit. We
-            welcome contributions from developers, teachers and users
-            alike.</li>
+            <li>There was a
+            mailing
+            list for discussion of MicroPython on the BBC micro:bit that is archived 
+            <a href="https://github.com/ntoll/microbit_mailman_archive"> here</a> .</li>
             <li>If old-school Internet Relay Chat (IRC) is your thing, then
             join the #microbit channel on
             <a href="https://freenode.net/">Freenode IRC</a>.</li>

From a8ed4be7274d4246ac2bba7ae281bcbb4b11bd2d Mon Sep 17 00:00:00 2001
From: Berker Peksag <berker.peksag@gmail.com>
Date: Mon, 8 Apr 2019 02:10:38 +0300
Subject: [PATCH 2/2] Update microbit.html

---
 templates/community/microbit.html | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/templates/community/microbit.html b/templates/community/microbit.html
index 99af4668a..8d36639dc 100644
--- a/templates/community/microbit.html
+++ b/templates/community/microbit.html
@@ -49,10 +49,9 @@ <h2>Community</h2>
             <li>During development, we sent some of the devices on a
             <a href="https://microworldtour.github.io/">World Tour</a>. Check
             out their travelogues for lots of cool projects and ideas.</li>
-            <li>There was a
-            mailing
-            list for discussion of MicroPython on the BBC micro:bit that is archived 
-            <a href="https://github.com/ntoll/microbit_mailman_archive"> here</a> .</li>
+            <li>There was a mailing list for discussion of MicroPython on the BBC
+            micro:bit that is archived
+            <a href="https://github.com/ntoll/microbit_mailman_archive">here</a>.</li>
             <li>If old-school Internet Relay Chat (IRC) is your thing, then
             join the #microbit channel on
             <a href="https://freenode.net/">Freenode IRC</a>.</li>