From de9627724e9b4e74a967d65e82f41f860962f69d Mon Sep 17 00:00:00 2001 From: Alex Ostrikov Date: Thu, 8 Sep 2022 17:42:44 +0200 Subject: [PATCH] dev: explicitly state that PR has to be merged (#41519) --- .github/ISSUE_TEMPLATE/request_patch_release.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/ISSUE_TEMPLATE/request_patch_release.md b/.github/ISSUE_TEMPLATE/request_patch_release.md index 0c849732202..e18badb3ffd 100644 --- a/.github/ISSUE_TEMPLATE/request_patch_release.md +++ b/.github/ISSUE_TEMPLATE/request_patch_release.md @@ -49,9 +49,9 @@ I have read [when and why we perform patch releases](https://handbook.sourcegrap - [ ] **Comment on this issue** with a decision regarding the request. - [ ] If you are a first-time [Release Captain], please review the high-level overview of the [patch release process]. - [ ] If approved, **add it to a patch release**: - - If there is [already an upcoming patch release](https://github.com/sourcegraph/sourcegraph/issues?q=is%3Aissue+label%3Arelease-tracking+), add the listed commits alongside a link to this issue + - If there is [already an upcoming patch release](https://github.com/sourcegraph/sourcegraph/issues?q=is%3Aissue+label%3Arelease-tracking+), add the listed commits alongside a link to this issue. - If there is no upcoming patch release, create a new one: - - [ ] Update [`dev/release/release-config.jsonc`](https://sourcegraph.com/github.com/sourcegraph/sourcegraph/-/blob/dev/release/release-config.jsonc) and open a PR to `main` to update it + - [ ] Update [`dev/release/release-config.jsonc`](https://sourcegraph.com/github.com/sourcegraph/sourcegraph/-/blob/dev/release/release-config.jsonc), open and merge a PR to `main` to update it. - [ ] Change `upcomingRelease` to the current patch release - [ ] Change `previousRelease` to the previous patch release version - [ ] Change `releaseDate` to the current date (time is optional) along with `oneWorkingDayAfterRelease` and `threeWorkingDaysBeforeRelease`