1 comment

[ 3.8 ms ] story [ 18.8 ms ] thread
I believe GitHub has option to automatically delete branches after successful pull request merge