Create GitHub User for Galaxy

[s-newman]

Create GitHub User for Galaxy

A new GitHub user should be created that we can use to import Operations Program roles into Ansible Galaxy. This user would need to grant Galaxy OAuth access to the RITSEC organization. Once this is completed, the process for automatically importing from GitLab CI should be documented. The GitLab -> GitHub mirroring process should also be documented and automated.

Tasks

All of the following tasks must be complete before this issue can be closed. Be sure to reference this issue in the relevant issues/PRs in other repositories.

• Create new GitHub user for the Operations Program
• Grant to Galaxy OAuth access to the RITSEC organization
• Document how to automatically import projects into Galaxy from GitLab CI
• Document how to mirror repositories from GitLab to GitHub
• Write a script to set up a GitLab -> GitHub mirror (or find one, and document its use)
• Edit existing GitLab -> GitHub mirrors to use the new user's API key