• naught@sh.itjust.works
    4·
    6 个月前

    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