This week we finalized a migration from GitHub to GitLab, something we’ve been looking at doing for over a year. There are a few…