Make mirroring pull interval configurable
<!--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=372654) </details> <!--IssueSummary end--> For now mirroring pull interval is set to 30 minutes for performance reason. As for public instance it's probably necessary for private ones it should be configurable so it can be set to values appropriate for certain private gitlab instance.
issue