[Tidy up Git branches] Delete & prune local/remote branches #git

git_delete_merged_branches.sh

# Delete remote branches that have been merged into 'origin/develop' (besides current, 'origin/develop' and 'origin/master')
git pull --rebase upstream develop:develop
git push origin develop:develop
git remote prune origin
git branch -r --merged origin/develop | grep -wv 'master\|develop' | sed 's/^origin\///' | xargs -n 1 git push -d origin
git remote prune origin

# Delete local branches that have been merged into 'develop' (besides current, 'develop' and 'master' branches)
git branch --merged develop | grep -wv '\*\|master\|develop' | xargs -n 1 git branch -d

git_delete_prune.sh

git push origin -d LOCAL_BRANCH   # remove remote branch tracked by local branch
git remote prune origin           # remove *references* (refs/remotes/…) for remote branches
                                  #   that no longer exist (run `git branch -a` before and after
                                  #   to see the difference.
git branch -d LOCAL_BRANCH        # remove branch locally