What is the problem you're trying to solve?

Ref: #7430 (comment)

What solution would you like to see?

Deprecate the GitHub formatter and remove it in the next major release.

Ideally, we'd link to a newly published GitHub custom formatter as part of the deprecation changelog entry.