Shaun Jackman 9cd4fff051 pull: Add --test-bot-user
Infer the name of the test-bot GitHub user if it is not provided.
2017-10-17 16:53:12 -07:00
..
2017-06-07 16:07:53 +01:00
2017-08-08 18:10:13 +02:00
2017-10-17 16:53:12 -07:00
2017-07-13 17:15:03 +01:00
2017-09-29 22:18:24 +02:00