Follow-up Comment #7, task #7904 (project administration): Hi Miles,
You can push the repository by yourself. See https://savannah.gnu.org/maintenance/UsingGit _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/task/?7904> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
