Commit 4196dd8e8fceaaa42ad5854e1ce362c14b8c0bf6
2015-02-26T15:33:58
repository: Introduce "reserved names" A repository can have multiple "reserved names" now, not just a single "short name" for the repository folder itself. Refactor to include a git_repository__reserved_names that returns all the reserved names for a repository.