• @herr
    link
    21 year ago

    Pretty sure they just type it in manually. See named tags in git.