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) <palomino...@gmail.com> 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?
