5 ms·
what's a pull request?
by kingds 4y ago
what's a pull request?
- tmpz22 4y agoA pull request is a process which can merge new code into existing code. "Software Engineer John was tasked to add a new logo to the website, when he was done he submitted a pull request of his feature branch into his organization's github repository for the website so that his team members could approve the changes before automation (like Github Actions) deployed live as a new version of the website."
- nightfly 4y agoGitlab has "merge requests" the comment you're replying was trying to point out an error in an annoying way
- kingds 4y agoi tried to add a lil laughing emoji to indicate that my comment was in jest but apparently those get stripped out of comments? my bad.
- c-hendricks 4y agoYeah HN doesn't want people to be _too_ expressive.
- midasuni 4y ago:D doesn’t get stripped
- OJFord 4y agoNot even an error frankly, MR, PR, change request, patch set, personally don't care what you call it, it's the same thing.
- momentoftop 4y agoIt's a request to the owner of some reference in a Git repository to pull in some changes from some reference in some (possibly other) Git repository. You can do this via email, but centralised Git hosts like Github have their own interface to this basic workflow.
- smcleod 4y agoI agree the naming is misleading - it's not actually a request to pull anything - it's a request to merge someone's branch into another. This is known as a merge request on several other platforms.