diff --git a/docs/howto/github-create-pull-request.md b/docs/howto/github-create-pull-request.md index 8f291e524..4b3333115 100644 --- a/docs/howto/github-create-pull-request.md +++ b/docs/howto/github-create-pull-request.md @@ -1,5 +1,7 @@ # Create a Pull Request in GitHub +This how-to gives guidance on *how* to make a Pull Request (PR). For more on PRs, and guidelines on what makes a good PR, see the [GitHub 10 tips on Pull Requests guide](https://blog.mergify.com/github-pull-requests-10-tips-to-know/). + ## Overview ### GitHub workflows