Jerome BENOIT <sphericaltriangle@rezozer.net> writes: > Is there a procedure to remove the obsolete git repository once the new fresh > one is set up ? I had a similar problem when I moved my packaged out of debian-science into debian-astro. I just moved the directories on alioth to their new place, and then created backward symlinks for a while so that others could still find them. Best Ole