cd %s/repos/%s-%s
git describe --tags --abbrev=0
" buildtmp package (quote branch) in
+ (* Branches <= 1.32 are tagged with "1.32.11",
+ * branches >= 1.33 are tagged with "v1.33.11".
+ *)
+ let len = String.length v in
+ let v =
+ if len > 0 && v.[0] = 'v' then
+ String.sub v 1 (len-1)
+ else
+ v in
vernames v
(* Get the latest commit. *)