tbh I'm not all that happy that a human readable string is part of the repo id. even though there is a seperate 'name' for a repository, people still want to change the human readable bit of the ID and to do so are prepared to leave behind the repo and start again with a fresh ID.