Renaming internal repos

[kousu]

According to https://gitolite.com/gitolite/basic-admin.html#removingrenaming-a-repo you need to have ssh access to data in order to rename repos. I can see why they did this, for security and everything, but this is a little unfortunate.

Look into gitolite's wildrepo feature, optional commands and figure out if any of them allow renaming. If not, consider writing one (while being security-conscious about symlink etc attacks)

[kousu]

For the record, the current way to do this is

ssh root@data.neuro.polymtl.ca
sudo -u git -i
cd repositories/datasets/
mv $dataset.git $new_name.git

Maybe I should at least add that to the docs in the meantime?

[alexfoias]

tested the command from above and they worked.