Commit 10d55e3
tools: use commit title as PR title when creating release proposal
PR-URL: #56165
Reviewed-By: Michaël Zasso <targos@protonmail.com>
Reviewed-By: Marco Ippolito <marcoippolito54@gmail.com>
Reviewed-By: Rafael Gonzaga <rafael.nunu@hotmail.com>
Reviewed-By: Juan José Arboleda <soyjuanarbol@gmail.com>1 parent 3ea738f commit 10d55e3
1 file changed
+2
-2
lines changed@@ -29,7 +29,7 @@ git node release --prepare --skipBranchDiff --yes --releaseDate "$RELEASE_DATE"2929HEAD_BRANCH="$(git rev-parse --abbrev-ref HEAD)"3030HEAD_SHA="$(git rev-parse HEAD^)"3131
32-TITLE=$(awk "/^## ${RELEASE_DATE}/ { print substr(\$0, 4) }" "doc/changelogs/CHANGELOG_V${RELEASE_LINE}.md")32+TITLE="$(git log -1 --format=%s)"3333
3434# Use a temporary file for the PR body3535TEMP_BODY="$(awk "/## ${RELEASE_DATE}/,/^<a id=/{ if (!/^<a id=/) print }" "doc/changelogs/CHANGELOG_V${RELEASE_LINE}.md")"@@ -56,7 +56,7 @@ node --input-type=module - \5656 "$GITHUB_REPOSITORY" \5757 "$HEAD_BRANCH" \5858 "$HEAD_SHA" \59- "$(git log -1 HEAD --format=%s || true)" \59+ "$TITLE" \6060 "$(git log -1 HEAD --format=%b | awk -v PR_URL="$PR_URL" '{sub(/^PR-URL: TODO$/, "PR-URL: " PR_URL)} 1' || true)" \6161 "$(git show HEAD --diff-filter=d --name-only --format= || true)" \6262 "$(git show HEAD --diff-filter=D --name-only --format= || true)" \
0 commit comments