diff options
Diffstat (limited to '.github/pull_request_template.md')
| -rw-r--r-- | .github/pull_request_template.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md index f2116902ef..6c43c1c99a 100644 --- a/.github/pull_request_template.md +++ b/.github/pull_request_template.md @@ -1,12 +1,12 @@ -# Trac ticket number +#### Trac ticket number <!-- Replace XXXXX with the corresponding Trac ticket number, or delete the line and write "N/A" if this is a trivial PR. --> ticket-XXXXX -# Branch description +#### Branch description Provide a concise overview of the issue or rationale behind the proposed changes. -# Checklist +#### Checklist - [ ] This PR targets the `main` branch. <!-- Backports will be evaluated and done by mergers, when necessary. --> - [ ] The commit message is written in past tense, mentions the ticket number, and ends with a period. - [ ] I have checked the "Has patch" ticket flag in the Trac system. |