4 ms·I believe GitHub has option to automatically delete branches after successful pull request mergeby Froyoh 9y agoI believe GitHub has option to automatically delete branches after successful pull request merge