Bug #5192
Updated by Tom Clegg about 9 years ago
Currently, # Create a regular user can rename a repository, but repository record # Set the new name # Wait for gitolite to create the actual repository # Rename the repository # There will resolve to be a new empty repository: repository with the content new name instead of renaming the existing repository. Suggested approach to fix: repository does not move with directories could be named by UUID on server side. The repository update script then creates a symlink from the "friendly" name (but you can go back to the old content actual repository named by renaming the repository record again). 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. Short term fix is Alternately, per note in #5190 we might just choose to disallow changing the name attribute of a repository unless current_user.andand.is_admin. Longer term fix is #4253. renames.