> Badly formatted code should make the the push fail so the dev has to fix the problem before they can open a PR I'd rather people check in their WIP than have

> Badly formatted code should make the the push fail so the dev has to fix the problem before they can open a PR I'd rather people check in their WIP than have it sitting on their machine. Let GH actions worry about whether the code is formatted correctly.