On 10/18/2016 08:03 PM, Benda Xu wrote: > > This will be an important reference. Please consider adding it into the > wiki after we reach a wider consensus on how to merge pull request on > github.
It's been there for a long time: https://wiki.gentoo.org/wiki/Gentoo_git_workflow#Pull_requests_from_developers_and_users (that's the way I prefer to merge pull requests, too).
