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