Agree to delete them if they got merged. We already have a huge number of branches.
From: Sean Busbey <[email protected]> Reply-To: "[email protected]" <[email protected]> Date: Friday, October 30, 2020 at 6:14 PM To: dev <[email protected]> Subject: Re: Delete the revert-xxx branches? if they've been merged then I'm a strong +1 on deleting them. On Fri, Oct 30, 2020 at 3:37 AM 张铎(Duo Zhang) <[email protected]<mailto:[email protected]>> wrote: We have a lot of revert-xxx branches in our git repo. Github will generate a branch when we revert a PR, and it will be synced back to gitbox too. Should we delete them?
