Build what's next on GitHub, the place for anyone from anywhere to build anything.
Join us October 28-29 in San Francisco or online for GitHub Universe, our flagship developer event uniting people, agents, and the world's code.
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…
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.
