git push origin --delete <branch_name>
git branch -d <branch_name>
git fetch origin --prune
git fetch origin --prune --dry-run # dry run the command
or
git remote prune origin
git branch -r
git branch -a
git remote show origin
git ls-remote --heads origin
git rm -r --cached .
git fetch origin
git branch -v -a
git checkout -b test origin/test
git reset HEAD^
git reset --soft HEAD^
git reset --soft origin/master
source: https://stackoverflow.com/a/19095988/2137210
git rm --cached . -r
git add .
git commit -am 'Remove ignored file'
source: https://stackoverflow.com/a/53663271/2137210
git pull origin <remote_branch_name> --allow-unrelated-histories