Removed unneeded bit

2022-10-01 02:05:55 +00:00 · 2022-10-01 02:05:55 +00:00 · 0835e05637
parent 1e4135a08f
commit 0835e05637
1 changed files with 1 additions and 1 deletions
--- a/How-to-get-your-PR-merged.md
+++ b/How-to-get-your-PR-merged.md
@ -1,4 +1,4 @@
-1. Create your PR (ideally ask in an issue if that is a good idea what you want to do)
+1. Create your PR
 2. Wait for a maintainer review
 3. Do the requested changes, and answer any questions raised by the reviewer(s)
 4. Rebase on `dev` if necessary: