Repositories

Yep, correct, and apologies for not including this kind of functionality (which is a superset of renaming files, also very useful).

Anyone got the means to stop the world for a day so we can add that?

Jon

PS: Why don't you guys file a feature request in the bug tracker about this...