GitHub Actions

[di]

Fixes #7001, closes #8255, closes #4961.

[ewdurbin]

My only concern here is that the check with the busted git command... still went green?

Are we doing something wrong that an error like that doesn't surface? Could lead to some broken ships.

[di]

My only concern here is that the check with the busted git command... still went green?

Are we doing something wrong that an error like that doesn't surface? Could lead to some broken ships.

The current command just assumes that the git diff will always succeed. I added a guard in 638e263 just to be safe.

[webknjaz]

LGTM unless you want to do some polishing

[ewdurbin]

Thank you @di and @webknjaz!