herr, 8 months ago Pretty sure they just type it in manually. See named tags in git.
Pretty sure they just type it in manually. See named tags in git.