Mirror CLUB1 git repositories to `git.club1.fr` - Githubissues

club-1 / hosting

Hosting on CLUB1

https://club1.fr

6 stars 1 forks source link

Mirror CLUB1 git repositories to `git.club1.fr` #77

Closed n-peugnet closed 1 year ago

n-peugnet commented 1 year ago

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 commented 1 year ago

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