You have to do 2 steps: you have to delete it locally as well as from your Github or whatever your remote respository is. Run the following 2 commands to do so:
git branch -d [branchname]git push origin --delete [branchname]
For further actions, you may consider blocking this person and/or reporting abuse
Top comments (0)