Delete remote git branches that have merged into dev

git branch --merged dev -r
| ? { $_ -notmatch "dev" }
| % { $b = $_.Trim().Split('/'); git push --delete $b[0] $b[1] }