Details
-
Suggestion
-
Resolution: Won't Fix
Description
I would love to mirror a few repos here to make it easier for contributors to contribute and don't like the idea of either creating a separate account for mirroring from the server or adding the server ssh key to my username for various reasons.
It would be great if an administrator could add extra ssh keys to the repository that can write via ssh to simplify mirroring.