Those interested in mirroring of git repos on
github.com, can you
check/confirm things look fine?
I don't think I've added other Infra team members as admins/managers on
Trac? Remind me to do that ...
. The latter already has forks while the
former doesn't (but isn't synced).