• naught@sh.itjust.works
      link
      fedilink
      arrow-up
      0
      ·
      edit-2
      2 months 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