Git

last modified: | 1 min read #git

Delete a remote branch

git push origin --delete [branch name]

Add small change to the previous commit

git commit --amend --no-edit