Update CONTRIBUTING.md

Adding a subsection into the "Creating a Pull Request" section that points to the PR Example and instructions for web UI PR
4 months ago · 6271441a2b
1 changed files with 5 additions and 0 deletions
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@ -38,6 +38,11 @@ regular contributor, then you will want to set up
				@@ -38,6 +38,11 @@ regular contributor, then you will want to set up
 do that, the CI checks will run locally before you even write your
 commit message.  This speeds up your development cycle considerably.

+### Creating a pull request ###
+
+Instructions for creating a pull request using the GitHub Web UI can be found
+in [`PULL-EXAMPLE.md`](PULL-EXAMPLE.md).
+
 ### Setting up pre-commit ###

 There are a few ways to do this, but we prefer to use