anon_coder
5/15/2020 - 11:32 AM

Delete remote branch

git push origin --delete my_branch