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