Restore Tidied Pull Requests

We recently started letting you tidy up your Pull Requests. What happens when someone deletes a branch that is still needed? Starting today, you can restore any head branch of…