Comment by fourthark

On a technical level, I think this encourages the contributor to delete the branch, in which case it's gone for good and benefits no one.

If GitHub automatically saved a copy of each PR branch, I would be more receptive to this advice. This would potentially cause a lot of other problems...