diff options
| author | arf20 <aruizfernandez05@gmail.com> | 2024-04-16 17:45:18 +0200 |
|---|---|---|
| committer | arf20 <aruizfernandez05@gmail.com> | 2024-04-16 17:45:18 +0200 |
| commit | c990583718c1105d6d3814676a50a7bbd09fef3b (patch) | |
| tree | ddf643c4cd39744da794e7018e429971382cd362 | |
| parent | 65f11e770ef7a7fdc138db9e10a03686f5d8dd8d (diff) | |
| download | arfnet2-lists-c990583718c1105d6d3814676a50a7bbd09fef3b.tar.gz arfnet2-lists-c990583718c1105d6d3814676a50a7bbd09fef3b.zip | |
Subscription howto and mirror workflow
| -rw-r--r-- | .github/workflows/mirror.yml | 18 | ||||
| -rw-r--r-- | index.php | 6 |
2 files changed, 24 insertions, 0 deletions
diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml new file mode 100644 index 0000000..0884624 --- /dev/null +++ b/.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 + @@ -29,6 +29,12 @@ $lists = array_diff($lists, array(".", "..")); } ?> </ul> + <hr> + <h2>Subscription</h2> + <ul> + <li>To subscribe to a list, send a message to list+subscribe@arf20.com or go to https://lists.arf20.com/subscribe.php?list=list</li> + <li>To unsubscribe, send a message to list+unsubscribe@arf20.com or go to https://lists.arf20.com/subscribe.php?list=list</li> + </ul> </div> </div> </main> |