• naught@sh.itjust.works
    3·
    21 小时前

    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