524
you are viewing a single comment's thread
view the rest of the comments
[-] Diplomjodler3@lemmy.world 17 points 1 year ago

You could use "this" instead of "self". And if you want a lynch mob of Python programmers outside your house, make a push request with that to some commonly used package.

[-] pastermil@sh.itjust.works 13 points 1 year ago

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

[-] Diplomjodler3@lemmy.world 10 points 1 year ago* (last edited 1 year ago)

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 4 points 1 year ago* (last edited 1 year 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 1 year 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...

this post was submitted on 08 Jun 2025
524 points (97.3% liked)

Programmer Humor

43297 readers
3 users here now

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

Rules:

founded 7 years ago
MODERATORS