API for editing mirror tokens
<!--IssueSummary start-->
<details>
<summary>
Everyone can contribute. [Help move this issue forward](https://handbook.gitlab.com/handbook/marketing/developer-relations/contributor-success/community-contributors-workflows/#contributor-links) while earning points, leveling up and collecting rewards.
</summary>
- [Close this issue](https://contributors.gitlab.com/manage-issue?action=close&projectId=278964&issueIid=9440)
</details>
<!--IssueSummary end-->
### Problem to solve
Due to #9147, it'd be nice to have a way to change out the token used. Currently, the only way to do this is to remove the mirroring and re-import.
### Target audience
People using CI/CD for external repos in github.
https://gitlab.zendesk.com/agent/tickets/112640 (for internal use)
issue