I've been reading the GitHub API Documentation and searching around. It seem like there's no REST API for deleting a branch in GitHub? The closes thing I found is another post on Github enterprise API delete branch after merge.

Is there a reason why that is? What is the proper way to delete a branch using REST API?

CodePudding user response：

Branches are references to a commit. The documentation you seek is called Delete a reference.

Here is some more information on Git references.