To delete a local branch: git branch -D <local branch>
In the end github delete a remote branch: git push origin: <remote side branch>
The only difference is that the colon represents the deleted
To delete a local branch: git branch -D <local branch>
In the end github delete a remote branch: git push origin: <remote side branch>
The only difference is that the colon represents the deleted