News for hackers. Stuff that matters.
Re:Delete old branches in Git by Froyoh on Friday March 16, 2018 @11:58AM (#16601502)
I believe GitHub has option to automatically delete branches after successful pull request merge