Repository management

[dvanderfaeillie]

Because I want to implement a custom course I've added my own repository. I've noticed that I can't edit its details after adding the repo. I can't even delete my own repo.

Since I forgot to use the git link (instead of the https link) my repo is useless. How should I proceed?

[chvp]

Send us an email at [email protected]. This will require manual action by an administrator to fix.

[dvanderfaeillie]

Thanks. Might be a feature to think about in future releases. (Easier own repo management)

[chvp]

There have been some issues created for it recently (#3210, #3211). Allowing to change the git link would be a hard issue though, since we would also need to change the remote URL of the underlying git clone, which would be a quite complicated operation.