Skip to content

Commit 7cfc00d

Browse files
tniessenMoLow
authored andcommitted
tools: keep PR titles/description up-to-date
Set the `update-pull-request-title-and-body` option when potentially updating an existing PR with a dynamic title and/or description. PR-URL: #47621 Reviewed-By: Marco Ippolito <marcoippolito54@gmail.com> Reviewed-By: Michaël Zasso <targos@protonmail.com> Reviewed-By: Richard Lau <rlau@redhat.com> Reviewed-By: Luigi Pinca <luigipinca@gmail.com> Reviewed-By: James M Snell <jasnell@gmail.com>
1 parent 971c545 commit 7cfc00d

4 files changed

Lines changed: 4 additions & 0 deletions

File tree