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 ... What was once a largely manual process of ...

pull requests have become the standard mechanism for distributed code reviews. They enable changes to be reviewed by one or more developers and even bots; once the reviewers have signed off ...