Mirror CLUB1 git repositories to git.club1.fr

[n-peugnet]

As discussed in the réunion #003:

Question : est-ce qu'on devrait héberger une version cannonique des repo de l'organisation CLUB1 sur le serveur ?
Ces repos seraient un mirror de Github. Pour se préparer à ce que Microsoft nous tire le tapis sous les pates.
Tout le monde a l'air à peu près d'accord là dessus !

One great option would be to use GitHub's Webhooks feature to automatically notify CLUB1's serveur to trigger the pull.

dustin/gitmirror could then be used to receive the Webhook on CLUB1's end.

To do

• choose a username for the official repos of CLUB1 on git.club1.fr, as the username will be apparent in the URL.
• create the user
• compile, install & setup dustin/gitmirror
  • (optionally) by making a custom Debian package
• setup the Webhooks for all GitHub repos that we want to mirror

[n-peugnet]

Moved to https://forum.club1.fr/d/32