mii/wasmer
1
0
Fork 0
mirror of https://github.com/mii443/wasmer.git synced 2025-08-24 01:09:26 +00:00
Code Issues Packages Projects Releases Wiki Activity

Switch from outdated bors r+ to automerge

Browse Source
This commit is contained in:
Felix Schütt
2023-01-26 16:16:56 +01:00
parent cb00fb32c1
commit 2806efa27c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/make-release.py
View File

@ -294,7 +294,7 @@ def make_release(version):
raise Exception("could not commit checkout master " + RELEASE_VERSION_WITH_V)
if not(already_released):
proc = subprocess.Popen(['gh','pr', "comment", pr_number, "--body", "bors r+"], stdout = subprocess.PIPE, cwd = temp_dir.name)
proc = subprocess.Popen(['gh','pr', "merge", "--auto", pr_number, "--merge", "--delete-branch"], stdout = subprocess.PIPE, cwd = temp_dir.name)
proc.wait()
# wait for bors to merge PR