Last week, I opened the file on GitHub that had the typo, edited the file, and submitted my edit using GitHub’s “pull request” feature. A pull request is a request to the file’s maintainer ...