Skip to content

get_refs: Gather tags consolidating both "refs" and "refs/tags"#30

Merged
jcfr merged 1 commit intomasterfrom
improve-get_refs
Apr 11, 2017
Merged

get_refs: Gather tags consolidating both "refs" and "refs/tags"#30
jcfr merged 1 commit intomasterfrom
improve-get_refs

Commits

Commits on Apr 11, 2017