From fdd4d17d270639b5de083bd3ebc734d973f9676a Mon Sep 17 00:00:00 2001 From: Simon Michael Date: Thu, 29 May 2025 08:14:29 -1000 Subject: [PATCH] ;doc:PULLREQUESTS: edits --- doc/PULLREQUESTS.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/doc/PULLREQUESTS.md b/doc/PULLREQUESTS.md index c57552191..c8eac108d 100644 --- a/doc/PULLREQUESTS.md +++ b/doc/PULLREQUESTS.md @@ -55,9 +55,10 @@ Smaller/more focussed PRs can be reviewed quicker and accepted (or rejected) qui Consider showing a draft of documentation first (more on this below). When you are not ready for the PR to be merged, please make it a Draft PR. -Non-draft means "I think this is ready, you can merge any time". +(Non-draft means "I think this is ready, you can merge any time".) + And just use a normal PR title, don't write "WIP:" or "Draft:" there. -This helps with knowing PRs' status in a consistent way. +These help with knowing PRs' status in a consistent way. ## The commit(s)