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 a closed Pull Request.

Branch deletion and restoration