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
..
2020-04-07 09:58:26 +01:00
2020-03-13 21:16:18 +00:00
2020-04-07 09:58:26 +01:00
2019-10-21 20:09:56 +02:00
2020-04-07 09:58:26 +01:00
2020-04-14 13:41:35 +10:00
2020-03-27 13:04:39 +00:00
2019-04-20 13:27:36 +09:00
2020-04-07 09:58:26 +01:00
2019-10-22 07:38:35 +02:00