GitHub mirrors

[Jeroen Ooms]

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.