为了更好地理解这些操作，我想知道 github 或 gitlab 到底是如何合并这些请求的。当压缩、变基、合并……时，详细执行哪些 git 命令？
git github pull-request gitlab merge-request
git ×1
github ×1
gitlab ×1
merge-request ×1
pull-request ×1