I do not think it is worth keeping these branches even if the PR has not been merged yet?
We do not allow force push on master and branch-* branches, so the commit will be there even if it has been reverted, it is easy to cherry pick again or just revert the 'revert commit'. So if no other objections, will delete these branches later. Thanks. Jan Hentschel <[email protected]> 于2020年10月31日周六 下午11:31写道： > 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? > >
