- Set up .gitlab-ci.yml to deploy documentation to GitLab pages - Make some minor fixes/changes for git migration