def tag.put

ezx@1.11.0.0 · src/git/git.bend:762

import Base

762# one row's tag name, or nothing when the row is peeled or not a tag
763def tag.put(hit: Bool, +name: String) -> List<&2, String>:
764  match hit:
765    case False{}:
766      []
767    case True{}:
768      [String.drop(name, String.length("refs/tags/"))]