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 origingit branch -r
git branch -a
git remote show origin
git ls-remote --heads origingit rm -r --cached .git fetch origin
git branch -v -a
git checkout -b test origin/testgit reset HEAD^git reset --soft HEAD^git reset --soft origin/mastersource: 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