Make mirroring pull interval configurable

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

• Close this issue

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.