Repository navigation

Improve the descriptions of PRs created by the release process - #1254

Merged

henrymercer merged 3 commits into

mainfrom

henrymercer/improve-release-pr-description

Sep 20, 2022

Merged

Improve the descriptions of PRs created by the release process#1254
henrymercer merged 3 commits into
mainfrom
henrymercer/improve-release-pr-description

Commits on Sep 15, 2022
- Remove now-duplicated PR titles from release PR descriptions
  henrymercer
  committed
  4f10467
Commits on Sep 16, 2022
- Add advice to the backport PR on how to run the checks quicker
  henrymercer
  committed
  fb28913
- Add advice to the mergeback PR on how to run the checks quicker
  henrymercer
  committed
  2e9fbe3