Merge pull request #1612 from drodriguez/fix-branch-delete-docs Fix documentation of git_branch_delete.