tools: keep PR titles/description up-to-date

nodejs · Apr 19, 2023 · 695931d · 695931d
1 parent 4f0e192
commit 695931d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/tools.yml b/.github/workflows/tools.yml
@@ -261,3 +261,4 @@ jobs:
           commit-message: ${{ env.COMMIT_MSG }}
           labels: ${{ matrix.label }}
           title: '${{ matrix.subsystem }}: update ${{ matrix.id }} to ${{ env.NEW_VERSION }}'
+          update-pull-request-title-and-body: true