Git Hosting Providers
GitHub is very popular, but it is no the only Git hosting provider.
For example, Git itself does not know about pull requests (PRs). That concept was added by platforms like GitHub, GitLab, and Codeberg.
Different platforms use different names for nearly the same thing:
- GitHub: pull request (PR)
- Codeberg: pull request (PR)
- GitLab: merge request (MR)
- Gerrit/Google: changelist (CL)
I use "pull request" as the generic term here, even if a platform uses a different name.