message no. 176360
i have a question.. after creating feature branches locally and pushing them to remote, opening and getting a PR merged, i delete my local branches. but then im left with a bunch of branches over at origin on github. what's the easiest way to "delete all branches on a remote, that does not have a local branch with the same name" without having to manually delete them one by one?