[Savannah-hackers-public] additional git repo request

[Karl Berry]

Michael -- on another front, how about
https://savannah.gnu.org/support/index.php?107738?  Request for an
additional git repo.

If you can update with http://savannah.gnu.org/maintenance/Git with the
requisite info (ie, what commands to type on which host), others could
take a stab at such things in the future.  (Or Jim, maybe you know?)
I have no clue myself and don't have the desire to research from scratch.

Thanks,
k