diff options
-rw-r--r-- | .gitlab/issue_templates/backport-8.8.md | 11 | ||||
-rw-r--r-- | .gitlab/merge_request_templates/backport-for-8.8.md | 1 |
2 files changed, 12 insertions, 0 deletions
diff --git a/.gitlab/issue_templates/backport-8.8.md b/.gitlab/issue_templates/backport-8.8.md new file mode 100644 index 0000000000..7522b30882 --- /dev/null +++ b/.gitlab/issue_templates/backport-8.8.md @@ -0,0 +1,11 @@ +GHC uses [backport tickets]() to ensure that patches present in `master` are +backported to a stable branch. Please create one backport issue per target +stable branch. + +**Please fill out the following:** + +* Merge request(s) to be backported: !NNN +* Issue being fixed: #NNNN + +/label ~"backport needed" +/milestone %8.8.1 diff --git a/.gitlab/merge_request_templates/backport-for-8.8.md b/.gitlab/merge_request_templates/backport-for-8.8.md index 4f6ac16ba2..ab052871c7 100644 --- a/.gitlab/merge_request_templates/backport-for-8.8.md +++ b/.gitlab/merge_request_templates/backport-for-8.8.md @@ -3,6 +3,7 @@ Thank you for help in maintaining GHC's stable branch! Please take a few moments to verify the following: * [ ] the issue that this backport fixes is milestoned for the target release. + * [ ] if there is a [backport tracking issue]() for this backport request provide its issue number here: #NNNN If you have any questions don't hesitate to open your merge request and inquire in a comment. |