GNOME Bugzilla – Bug 607791
Please remove "proximo" repo
Last modified: 2010-08-31 19:54:51 UTC
I created the "proximo" repository but then renamed the project I was going to push, please can you delete it.
The repository should not be removed - a Git archive should be setup and move the repository there
The project was renamed early in its life and the code is now in the "annum" repository, so removing it won't actually lose anything.
after verifying that the proximo repository did not actually have any content/logs/revisions/etc to archive, I have removed this repository.