Delete a remote / local Git branch

git branch -d your_local_branch_to_delete # use the simple name
git push origin :your_remote_branch_to_delete # use the simple name

Comments

Popular posts from this blog

Tuning ext4 for performance with emphasis on SSD usage

Rust’s impact on the industry

Brandan Eich on WebAssembly, Web Workers, and Decorators