Allow to delete remote mirror (push) via API
<!--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=287786) </details> <!--IssueSummary end--> ### Proposal Please extend the API (https://docs.gitlab.com/ee/api/remote_mirrors.html) with `DELETE` operation. Maybe also allow to `UPDATE` an existing mirror with a different URL. In addition it would nice to have a trigger endpoint, which triggers the mirroring of a project.
issue