I was wondering if somebody from the official GnuPG team wants to take
over the Github mirrors at https://github.com/gpg
I created these mirrors mostly a few years ago to make gnupg source
code more visible and accessible to millions of users. There is a
demand for this, the repositories are "followed" by hundreds of
people.
The mirroring script is basically a cron job that loops over the
various gnupg repos and runs:
git clone --mirror git://git.gnupg.org/${REPO}.git
(cd $REPO; git push --mirror https://github.com/gpg/${REPO}.git)
So it is very easy to do on any server, or github actions.
_______________________________________________
Gnupg-devel mailing list
Gnupg-devel@gnupg.org
http://lists.gnupg.org/mailman/listinfo/gnupg-devel
over the Github mirrors at https://github.com/gpg
I created these mirrors mostly a few years ago to make gnupg source
code more visible and accessible to millions of users. There is a
demand for this, the repositories are "followed" by hundreds of
people.
The mirroring script is basically a cron job that loops over the
various gnupg repos and runs:
git clone --mirror git://git.gnupg.org/${REPO}.git
(cd $REPO; git push --mirror https://github.com/gpg/${REPO}.git)
So it is very easy to do on any server, or github actions.
_______________________________________________
Gnupg-devel mailing list
Gnupg-devel@gnupg.org
http://lists.gnupg.org/mailman/listinfo/gnupg-devel
