in scripts/lint.py [0:0]
def git_branch_delete(branch_name: str) -> None: """Delete a git branch if exists.""" try: git = detect_git() git("branch", "-D", branch_name) except ErrorReturnCode: pass