New page: Pull request is a typical GitHub collaboration workflow tool.

New page

[[wikipedia:Distributed_version_control#Pull_requests|Pull request]] is a typical [[GitHub]] collaboration workflow tool.