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