PowerShell script to delete branches merged to master

git-prune-merged.ps1

# update local list of pruned branches on the remote to local:
git fetch --prune 

# delete branches on remote origin that have been merge to master
git branch --merged remotes/origin/master -r | %{$_.trim().replace('origin/', '')} | ?{$_ -notmatch 'master'} | %{git push --delete origin $_}

# delete local branches that have been merged to master
git branch --merged remotes/origin/master | %{$_.trim()} | ?{$_ -notmatch 'master'} | %{git branch -d $_}

# remove stale refs (local refs to branches that are gone on the remote)
git remote prune origin

Comments in powershell are with the "#" symbol, not with "//".
Other than that, thanks for the script! Works like a charm.

Thanks!