Pull based mirroring for gitbucket. Copied the code from a push based mirror plugin https://github.com/alexandremenif/gitbucket-mirror-plugin This version is heavily modified from the original one to meet the custom requirements.