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
