498
The meaning of this
(lemmy.ml)
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 08 Jun 2025
498 points (97.7% liked)
Programmer Humor
36296 readers
455 users here now
Post funny things about programming here! (Or just rant about your favourite programming language.)
Rules:
- Posts must be relevant to programming, programmers, or computer science.
- No NSFW content.
- Jokes must be in good taste. No hate speech, bigotry, etc.
founded 5 years ago
MODERATORS
I think there will be a lynch mob of git users outside your house for calling PR as "push request".
I've been wondering about the noise.
Edit: turns out, they weren't there to lynch me. They just gave me a two hour lecture on proper usage of git.
TECHNICALLY, there is no such thing as a pull request in git. That's a Github convention. It's really a merge request
e: drat someone already out-pedantic'd me
only github users. git itself doesn't have PRs, and other forges call them different things. gitlab calls them merge requests, pico calls them patch requests...