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 [Devon (DevOps Engineer)](https://about.gitlab.com/handbook/marketing/product-marketing/roles-personas/#devon-devops-engineer) ### 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
issue