Follow-up Comment #3, task #11081 (project administration): Hi Henri,
The best option for a rename is to open an admin request; you can work under this name meanwhile. You could also close this project and resubmit, but it may take longer. As to git, here is the FAQ: [http://savannah.gnu.org/maintenance/UsingGit]. HTH, Alex. _______________________________________________________ Reply to this item at: <http://savannah.gnu.org/task/?11081> _______________________________________________ Message sent via/by Savannah http://savannah.gnu.org/
