Projects API filtering by mirror
Problem to solve
As a DevOps Engineer, I want to monitor project mirroring, so I can receive a notification whenever a mirror doesn't work so the code isn't properly mirrored.
Intended users
User experience goal
The user should be able to use the API to search which projects have a mirror, without iterating all projects, to check each mirror status.
Proposal
Add a new filter "with_mirrors" (boolean, not required) to "/projects" endpoint.
Links / references
https://docs.gitlab.com/ee/api/projects.html#list-all-projects