Allow to delete remote mirror (push) via API

Everyone can contribute. Help move this issue forward while earning points, leveling up and collecting rewards.

• Close this issue

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.