Project

General

Profile

Bug #5192

Updated by Peter Amstutz about 9 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.

Back