bestelbus22@lemmy.world to Programmer Humor@lemmy.mlEnglish · 25 天前The meaning of thislemmy.mlimagemessage-square72fedilinkarrow-up1540arrow-down113
arrow-up1527arrow-down1imageThe meaning of thislemmy.mlbestelbus22@lemmy.world to Programmer Humor@lemmy.mlEnglish · 25 天前message-square72fedilink
minus-squarepastermil@sh.itjust.workslinkfedilinkarrow-up14·24 天前I think there will be a lynch mob of git users outside your house for calling PR as “push request”.
minus-squareDiplomjodler@lemmy.worldlinkfedilinkarrow-up10·edit-224 天前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.
minus-squarenaught@sh.itjust.workscakelinkfedilinkarrow-up4·edit-224 天前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
minus-squarelime!@feddit.nulinkfedilinkEnglisharrow-up8·24 天前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…
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…