Merge pull request #1 from rostools/docs/why-are-prs-called-prs

rostools · Apr 28, 2024 · 9277abe · 9277abe
2 parents 384a48d + 4a09976
commit 9277abe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/sessions/prs.md b/sessions/prs.md
@@ -6,7 +6,7 @@ order: 4
 
 {{< include /includes/_wip.qmd >}}
 
-Say that you are following the [GitHub flow](index.md#branching-strategy-github-flow), have created a [branch](branching.md) and have [committed and pushed](commits.md) your local changes to the remote repository. What then? The next step is to get your changes *reviewed* by your collaborates, before they can be merged to the `main` branch. This review process is facilitated by *pull requests*.
+Say that you are following the [GitHub flow](index.md#branching-strategy-github-flow), have created a [branch](branching.md) and have [committed and pushed](commits.md) your local changes to the remote repository. What then? The next step is to get your changes *reviewed* by your collaborates, before they can be merged to the `main` branch. This review process is facilitated by *pull requests*. They are called pull requests because they involve a *request* to *pull* changes from one branch into another branch.
 
 ![Pull requests and reviews within the GitHub flow](../images/github-flow-pr.png)