Gitlab migration complete. If you have any issue please read the FAQ.

Multiple fixes (kudos to Laurent)
This tag has no release notes.