Several small CI quality of life improvements

This adds some smaller CI improvements, some codewide, but also improvents to the build output:

• Fix warning about REPODEST being unreachable
• Add Gitlab section headers
• Set a default branch name for git to remove the warning