What is a "pull request" in the context of GitHub?
A pull request is a way for users to submit changes to a project, allowing the repository owner to review and merge those changes if they are accepted.