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