From 6271441a2b0edcd6a74e6ef484965e9cddf61f80 Mon Sep 17 00:00:00 2001 From: Lcerkov <96153185+Lcerkov@users.noreply.github.com> Date: Tue, 11 Jan 2022 10:15:59 -0500 Subject: [PATCH] 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 --- CONTRIBUTING.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 7251e6b..aec2628 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -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