I believe GitHub has option to automatically delete branches after successful pull request merge