bestelbus22@lemmy.world to Programmer Humor@lemmy.mlEnglish · 6 days agoThe meaning of thislemmy.mlimagemessage-square63fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1imageThe meaning of thislemmy.mlbestelbus22@lemmy.world to Programmer Humor@lemmy.mlEnglish · 6 days agomessage-square63fedilink
minus-squarepastermil@sh.itjust.workslinkfedilinkarrow-up0·6 days agoI think there will be a lynch mob of git users outside your house for calling PR as “push request”.
minus-squarelime!@feddit.nulinkfedilinkEnglisharrow-up0·6 days agoonly 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…
minus-squareDiplomjodler@lemmy.worldlinkfedilinkarrow-up0·6 days agoI’ve been wondering about the noise.
minus-squarenaught@sh.itjust.workslinkfedilinkarrow-up0·edit-26 days agoTECHNICALLY, 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
I think there will be a lynch mob of git users outside your house for calling PR as “push request”.
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’ve been wondering about the noise.
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