github_repo: strip v prefix if revision is any version number#2832
Open
chrisnovakovic wants to merge 1 commit intothought-machine:masterfrom chrisnovakovic:github_repo-strip-v-prefix
+13-3
