10 Commits

Author	SHA1	Message	Date
EricFromCanada	9d6eb41fc5	cmd/dev-cmd: misc. usage and wording fixes	2020-04-19 13:31:54 -04:00
Jonathan Chang	951cf09d4b	pr-pull: eliminate another curl call ... We're setting the basename, so no need to make a curl call to figure out what it ought to be. This should speed up bottle pulls even more.	2020-04-14 13:41:35 +10:00
Bo Anderson	a920f74671	dev-cmd/pr-pull: fix strategy error	2020-04-13 12:54:06 +01:00
Jonathan Chang	c1ba9975b8	pr-pull: fetch artifacts with no-resume strategy	2020-04-13 19:59:22 +10:00
Dawid Dziurla	08309749d4	pr-*: only unique named args ... also tweak usage to show that the commands accept multiple arguments	2020-04-12 12:13:53 +02:00
Jonathan Chang	f575eecabc	pr-pull: don't try to fetch unneeded artifacts	2020-04-11 19:37:43 +10:00
Jonathan Chang	e974dce16e	pr-pull: don't pass dry_run everywhere	2020-04-11 19:26:32 +10:00
Jonathan Chang	cd56e8b03e	pr-pull: update for gpg environment and secrets ... Co-Authored-By: Mike McQuaid <mike@mikemcquaid.com>	2020-03-31 22:11:30 +11:00
Dawid Dziurla	ffc1b49026	pr-pull: allow to specify tap	2020-03-31 11:25:40 +02:00
Jonathan Chang	0574ba436b	dev-cmd: add pr-pull command	2020-03-30 22:41:17 +11:00