CI: add mirroring between kwant gitlab, gitlab.com and github.com (!7) · Merge requests · kwant / tinyarray · GitLab

Joseph Weston requested to merge ci/repo-mirroring into master Nov 03, 2016

related to qt/admin-notes#23

Use CI for mirroring instead of server-side hooks, as it is more maintainable