Moving to GitHub (prior to Nov 12th)
As per the last meeting, we have decided to move the main development to GitHub prior to November 12th. This is in line with the agreement at the March Paris meeting. All development going forward will be on GitHub, with a mirror to this repository on Gepgitlab.
Here are the steps that are required:
Critical:
- Move issues, wiki, etc.: There is an automated tool here: https://github.com/piceaTech/node-gitlab-2-github
- Set up webhook from GitHub to Gitlab CI: Step by step here: https://docs.gitlab.com/ee/ci/ci_cd_for_external_repos/github_integration.html [this is for Gitlab.com not self-hosted but should be similar; Pinocchio has it set up]
- Flip mirror from Gepgitlab->GitHub to GitHub->Gepgitlab
- Mirror all open PRs over to GitHub and reopen
Nice to have later on:
- Additional GitHub Actions / Travis CI
Is there any other step I forgot?
@gsaurel Can you do (2) and (3) since none of us have the permissions?
I am happy to pick up (1) and (4), but also happy for you to jump in if you have bandwidth.