Hacker News new | ask | show | jobs
by Froyoh 3020 days ago
I believe GitHub has option to automatically delete branches after successful pull request merge