• lime!@feddit.nu
      link
      fedilink
      English
      arrow-up
      8
      ·
      7 hours 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…

    • Diplomjodler@lemmy.world
      link
      fedilink
      arrow-up
      9
      ·
      edit-2
      6 hours 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
        link
        fedilink
        arrow-up
        2
        ·
        edit-2
        6 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