diff options
| author | David Sherret <dsherret@users.noreply.github.com> | 2022-04-04 14:56:29 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-04 14:56:29 -0400 |
| commit | e33329b47ea1586bd1fbc686cae3048a080039ca (patch) | |
| tree | ebadeca9f9eef5b617cacf29d01eb98c9c103aca /tools/cut_a_release.md | |
| parent | fcd986875aebbca3a2fc85415d9b11748040a7fa (diff) | |
chore(ci): automatically open PR to forward patch release back to main (#14180)
Diffstat (limited to 'tools/cut_a_release.md')
| -rw-r--r-- | tools/cut_a_release.md | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/cut_a_release.md b/tools/cut_a_release.md index 499642e0e..3969793c6 100644 --- a/tools/cut_a_release.md +++ b/tools/cut_a_release.md @@ -112,8 +112,9 @@ verify on GitHub that everything looks correct. been updated to reflect Web API changes in this release. Usually done ahead of time by @lucacasonato. -9. **If you are cutting a patch release**: open a PR that forwards all commits - created in the release process to the `main` branch. +9. **If you are cutting a patch release**: a PR should have been automatically + opened that forwards the release commit back to main. If so, merge it. If not + and it failed, please manually create one. ## Updating `doc.deno.land` |