Welcome to Software Development on Codidact!
Will you help us build our independent community of developers helping developers? We're small and trying to grow. We welcome questions about all aspects of software development, from design to code to QA and more. Got questions? Got answers? Got code you'd like someone to review? Please join us.
Post History
With the --delete option of git-push: $ git push <remote-name> --delete <branch-name> For example: $ git push origin --delete my-branch
Answer