Issue

If you want to change the credentials used when mirroring a repository in Source Repositories, the only option you currently have is to disconnect the repo and mirror it again.

Current workaround

The current option to change the credentials is to disconnect the repo and then create a new one. The issue with this option arises when the repo has trigger builds, as these will need to be recreated.

Being able to change the credentials used to mirror the repo instead of recreating it would prevent this extra effort.

Request

To add an option to change the credentials used to mirror a repo so disconnecting and recreating the repo can be avoided.