Just reading the 12.9 release notes and see that there is now an API for managing HTTP push mirrors: https://docs.gitlab.com/ee/api/remote_mirrors.html