3 ms·
They're pulling changes from another repository. A pull request is a request for someone else (the maintainer) to pull the changes that you're submitting into t
by khedoros1 9y ago
They're pulling changes from another repository. A pull request is a request for someone else (the maintainer) to pull the changes that you're submitting into their repo. You aren't pushing; you're requesting for them to pull.
GitLab apparently does call them merge requests, though.
- shmerl 9y agoGithub calls it pull, even if it's within the same repo, but from different branch. It essentially is a merge anyway.