Setup push mirror to GitHub
as soon as https://gitlab.com/gitlab-org/gitlab-ce/issues/49565 is solved we can setup an automatic push mirror
Edited by Diego Louzán
as soon as https://gitlab.com/gitlab-org/gitlab-ce/issues/49565 is solved we can setup an automatic push mirror