A little help for merging pull requests
While you’re waiting for the long anticipated MergeButton™, I wanted to take a moment to highlight a few bits of documentation we have for pull requests. If you have any…
While you’re waiting for the long anticipated MergeButton™, I wanted to take a moment to highlight a few bits of documentation we have for pull requests.
If you have any questions about how pull requests work or how to deal with them, be sure to read our extensive help article on pull requests. We have documentation on how to create, preview, manage, review and merge pull requests.
Another useful place for help can now be found at the bottom of any pull request that you can merge (meaning: open pull requests on repositories you have push access to).
Lastly, don’t forget about hub and the github gem which introduce a little bit of syntactic sugar around dealing with your GitHub network on the command line.
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.