Final steps in GHC's Trac-to-GitLab migration