[–] Froyoh 8y ago ↗ I believe GitHub has option to automatically delete branches after successful pull request merge
1 comment
[ 2.6 ms ] story [ 15.7 ms ] thread