Currently, both remote and PR HEADs are not implemented in terms of `GitHead` but use `dict[str, str]`.