Implement git_repository_set_config (#735) #742
Loading…
Reference in New Issue
No description provided.
Delete Branch "cherry-pick-535940877-release-1.0"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Closes #732
(cherry picked from commit
2fd0495c43
)