File tree Expand file tree Collapse file tree 1 file changed +7
-3
lines changed
Expand file tree Collapse file tree 1 file changed +7
-3
lines changed Original file line number Diff line number Diff line change @@ -50,13 +50,17 @@ git branch -D "release-${version}" || true
5050git checkout -b " release-${version} "
5151git commit -m " bump version ${version} "
5252git push origin " release-${version} "
53- gh pr create \
53+ pr_url= $( gh pr create \
5454 --base master \
5555 --head " release-${version} " \
5656 --title " Release ${version} " \
57- --body " Release ${version} of nixpkgs-review"
57+ --body " Release ${version} of nixpkgs-review" )
5858
59- gh pr merge --auto " release-${version} "
59+ # Extract PR number from URL
60+ pr_number=$( echo " $pr_url " | grep -oE ' [0-9]+$' )
61+
62+ # Enable auto-merge with specific merge method and delete branch
63+ gh pr merge " $pr_number " --auto --merge --delete-branch
6064git checkout master
6165
6266waitForPr " release-${version} "
You can’t perform that action at this time.
0 commit comments