Delete the revert-xxx branches?

[Duo Zhang]

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?