GitHub proper capitalization - Githubissues

cpinitiative / usaco-guide

A free collection of curated, high-quality resources to take you from Bronze to Platinum and beyond.

https://usaco.guide

Other

1.61k stars 483 forks source link

GitHub proper capitalization #4545

Closed ericshu6 closed 3 months ago

ericshu6 commented 3 months ago

Place an "x" in the corresponding checkbox if it is done or does not apply to this pull request.

[x] I have tested my code.
[x] (not applicable) I have added my solution according to the steps here.
[x] I have followed the code conventions mentioned here.
- I understand that if it is clear that I have not attempted to follow these conventions, my PR will be closed.
- If changes are requested, I will re-request a review after addressing them.
[x] I have linked this PR to any issues that it closes.

It's pure torture for me to see "GitHub" capitalized as "Github", so I changed that.