Hacker News new | ask | show | jobs
Delete old branches in Git (medium.com)
1 points by akditer 3019 days ago
1 comments

I believe GitHub has option to automatically delete branches after successful pull request merge