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
[ Parent
| on HN ]