Merge button on GitHub (Merge)

With “Requests for Pool 2.0,” it has become easier than ever to check code and accept patches. We widely use this mechanism on GitHub, and I love to use it in my open source projects.

Take, for example, a request for a pool to correct documentation in God :


Traditionally, this merging a pool request requires many steps using the Git command line. But this is no longer the case!

Now all requests for a pull include a merge button:
')

If a merge conflict is detected, the button is replaced with a manual merge instruction:


One click on the button automatically merges and closes the request for the pool:


A merge always generates a merge commit ( git merge --no-ff ), which includes the number, code, and request header for the pull request.


Be sure to try out your requests for a pool . Have a good merger!