SENSEI-insitu moved to GitHub

For Developers

With the move to GitHub we need your help to move relevent issues from the archived GitLab instance to the new GitHub instance. Provided is a checklist of things to do to make sure this is all done.

• Make an account on GitHub
• (optional) Star the new SENSEI-insitu/SENSEI repository
• (optional) Make a development fork
• Add a new remote for the GitHub repository (or your fork)
• Push branches that are currently being developed to github
• Re-open active issues and MRs from GitLab in the new repository’s issues and pull requests
• Update origin to point at the new repository

Adding a remote

$ git remote add github https://github.com/SENSEI-insitu/SENSEI.git

or if you have a fork

$ git remote add github https://github.com/my-github-id/SENSEI.git

Push branches

You will have to run this for each development branch

$ git push github my-feature-branch

Update origin

$ git remote set-url origin https://github.com/SENSEI-insitu/SENSEI.git

and optionally, if you have a fork

$ git remote set-url --push origin https://github.com/my-github-id/SENSEI.git

If there are any questions about the transitions to GitHub, please contact Ryan Krattiger