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

Have feedback on this post? Let @github know on Twitter.

Need help or found a bug? Contact us.