Use automatic mirror

Should automatically mirror the parent github repository. Pull mirroring 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.