Are you looking for something? Here is all of the GitHub Docs history in one single commit. Enjoy! 🎉
117 B
117 B
By default, any pull request can be merged at any time, unless the head branch is in conflict with the base branch.