Skip to content

Commit

Permalink
Delete branch on PR close (#23)
Browse files Browse the repository at this point in the history
* Delete branch on PR close

* Fix python references
  • Loading branch information
goruha authored Feb 5, 2024
1 parent 635735b commit 76f3f9a
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions src/github_provider.py
Original file line number Diff line number Diff line change
Expand Up @@ -162,6 +162,8 @@ def get_open_prs_for_component(self, component_name: str):
def close_pr(self, pull_request: PullRequest, message: str):
pull_request.edit(state='closed')
pull_request.create_issue_comment(message)
self.__repo.get_git_ref(f'heads/{pull_request.head.ref}').delete()


def __build_component_version_link(self, component: AtmosComponent):
component_version_link = None
Expand Down

0 comments on commit 76f3f9a

Please sign in to comment.