this post was submitted on 08 Jun 2025
446 points (97.6% liked)

Programmer Humor

36257 readers
1077 users here now

Post funny things about programming here! (Or just rant about your favourite programming language.)

Rules:

founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
[–] pastermil@sh.itjust.works 12 points 16 hours ago (2 children)

I think there will be a lynch mob of git users outside your house for calling PR as "push request".

[–] Diplomjodler3@lemmy.world 9 points 15 hours ago* (last edited 14 hours ago) (1 children)

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.

[–] naught@sh.itjust.works 2 points 13 hours ago* (last edited 13 hours ago)

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

[–] lime@feddit.nu 8 points 15 hours ago

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...