momo/create-pull-request
4
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

Delete the branch if there is no diff with the base

Browse source
This commit is contained in:
Peter Evans 2019-12-28 18:34:32 +09:00
parent 71f4fe31a8
commit 484de7fc89
2 changed files with 14 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
dist/src/create_pull_request.py vendored
View file

@ -170,6 +170,13 @@ if result["action"] in ["created", "updated"]:
# Set the base. It would have been 'None' if not specified as an input
base = result["base"]
# If there is no longer a diff with the base delete the branch and exit
if not result["diff"]:
print(f"Branch '{branch}' no longer differs from base branch '{base}'")
print(f"Closing pull request and deleting branch '{branch}'")
repo.git.push("--delete", "--force", repo_url, f"refs/heads/{branch}")
sys.exit()
# TODO Figure out what to do when there is no diff with the base anymore
# if not result["diff"]:

7
src/create_pull_request.py
View file

@ -170,6 +170,13 @@ if result["action"] in ["created", "updated"]:
# Set the base. It would have been 'None' if not specified as an input
base = result["base"]
# If there is no longer a diff with the base delete the branch and exit
if not result["diff"]:
print(f"Branch '{branch}' no longer differs from base branch '{base}'")
print(f"Closing pull request and deleting branch '{branch}'")
repo.git.push("--delete", "--force", repo_url, f"refs/heads/{branch}")
sys.exit()
# TODO Figure out what to do when there is no diff with the base anymore
# if not result["diff"]: