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…
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.
Written by
Related posts
We need a European Sovereign Tech Fund
Open source software is critical infrastructure, but it’s underfunded. With a new feasibility study, GitHub’s developer policy team is building a coalition of policymakers and industry to close the maintenance funding gap.
GitHub Availability Report: June 2025
In June, we experienced three incidents that resulted in degraded performance across GitHub services.
From pair to peer programmer: Our vision for agentic workflows in GitHub Copilot
AI agents in GitHub Copilot don’t just assist developers but actively solve problems through multi-step reasoning and execution. Here’s what that means.