@[email protected] to Programmer [email protected]English • 11 days agoThe meaning of thislemmy.worldimagemessage-square71fedilinkarrow-up1475cross-posted to: [email protected]
arrow-up1475imageThe meaning of thislemmy.world@[email protected] to Programmer [email protected]English • 11 days agomessage-square71fedilinkcross-posted to: [email protected]
minus-square@[email protected]linkfedilink13•11 days agoI think there will be a lynch mob of git users outside your house for calling PR as “push request”.
minus-squareDiplomjodlerlinkfedilink9•edit-211 days agoI’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-square@[email protected]linkfedilink3•edit-211 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
minus-squarelime!linkfedilinkEnglish8•11 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…
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…