Git Delete Remote Branch

2020-01-24

Git delete remote branch

git push origin -d branch_name

Git delete merged local branch

git branch -d branch_name

Git delete unmerged local branch

git branch -D branch_name

Snippetsgit

Ubuntu prevent updating of a specific package

Perl Search and Replace