David Michael aac256f5e2 dev-vcs/repo: Update to 1.25 and drop old
This takes the repo command from the v1.13.2 commit.
2019-02-15 15:31:04 +00:00
..