Bug #5192
Updated by Peter Amstutz almost 10 years ago
# Create a repository record
# Set the name
# Wait for gitolite to create the actual repository
# Rename the repository
# There will be a new repository with the new name instead of renaming the existing repository.
Suggested approach to fix: repository directories could be named by UUID on server side. The repository update script then creates a symlink from the "friendly" name to the actual repository named by uuid. This would also simplify future reorganization to put repositories under namespaces (username/repo_name) or (groupname/repo_name) as familiar to users of github.
Alternately, per note in #5190 we might just choose to disallow renames.