this post was submitted on 08 Jun 2025
408 points (97.4% liked)

Programmer Humor

36257 readers
1017 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
[โ€“] Diplomjodler3@lemmy.world 9 points 10 hours ago* (last edited 9 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 9 hours ago* (last edited 9 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