Subscription howto and mirror workflow

.github/workflows/mirror.yml

@@ -0,0 +1,18 @@
+name: Mirror to ARFNET
+
+on: [push]
+
+env:
+  REMOTE_REPO: arfnet2-lists
+  REMOTE_SERVER: git.arf20.com
+
+jobs:
+  push-mirror:
+    runs-on: ubuntu-latest
+    steps:
+    - name: Clone repo
+      run: git clone https://github.com/${{ github.repository }}
+
+    - name: Push to remote repo
+      run: cd $REMOTE_REPO && git push -u https://${{ secrets.MIRROR_USER }}:${{ secrets.MIRROR_PASSWORD }}@$REMOTE_SERVER/$REMOTE_REPO master
+

index.php

@@ -29,6 +29,12 @@
                         }
                     ?>
                     </ul>
+                    <hr>
+                    <h2>Subscription</h2>
+                    <ul>
+                        <li>To subscribe to a list, send a message to [email protected] or go to https://lists.arf20.com/subscribe.php?list=list</li>
+                        <li>To unsubscribe, send a message to [email protected] or go to https://lists.arf20.com/subscribe.php?list=list</li>
+                    </ul>
                 </div>
             </div>
         </main>