cluster_tools issueshttps://git.embl.de/pape/cluster_tools/-/issues2019-09-13T09:26:51Zhttps://git.embl.de/pape/cluster_tools/-/issues/1Use automatic mirror2019-09-13T09:26:51ZConstantin PapeUse automatic mirrorShould automatically mirror the parent github repository. [Pull mirroring](https://docs.gitlab.com/ee/workflow/repository_mirroring.html) would be ideal, but is currently not available in Gitlab CE.
This might change though, see https://...Should automatically mirror the parent github repository. [Pull mirroring](https://docs.gitlab.com/ee/workflow/repository_mirroring.html) would be ideal, but is currently not available in Gitlab CE.
This might change though, see https://gitlab.com/gitlab-org/gitlab-ce/issues/48981.
Alternatively, could look into github webhooks.