We get external contribs like https://github.com/solana-foundation/developer-content/pull/257 that can't be merged automatically because they've either been done via GitHub UI (which doesn't format on save) or someone doesn't have format on save set up.
We then have to pull down the repo and manually format.
Problem
We get external contribs like https://github.com/solana-foundation/developer-content/pull/257 that can't be merged automatically because they've either been done via GitHub UI (which doesn't format on save) or someone doesn't have format on save set up.
We then have to pull down the repo and manually format.
Proposed Solution
Fix formatting after merge in GitHub CI.