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