[tmpz22]

A 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]

Gitlab has "merge requests" the comment you're replying was trying to point out an error in an annoying way

[kingds]

i 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]

Yeah HN doesn't want people to be _too_ expressive.

[midasuni]

:D doesn’t get stripped

[OJFord]

Not even an error frankly, MR, PR, change request, patch set, personally don't care what you call it, it's the same thing.