Each time we want to replicate a repository to Github, we need to manually create the repository and perform several steps before changes get pushed.

We should create a script that creates the repo through the Github API and sets up the required permissions.