CI Updates

[rbberger]

PR Summary

Future proof our re-git CI and some cosmetic changes.

PR Checklist

• [ ] Code is formatted. (You can use the format_spiner make target.)
• [ ] Adds a test for any bugs fixed. Adds tests for new features.
• [ ] If preparing for a new release, update the version in cmake.

[rbberger]

@Yurlungur regit CI passed and acts as expected. I can't push the merge button here.

[Yurlungur]

Button clicked. Changed permissions so you should be able to in the future.