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