diff options
author | Yuchen Pei <id@ypei.org> | 2023-07-23 12:50:28 +1000 |
---|---|---|
committer | Yuchen Pei <id@ypei.org> | 2023-07-23 12:50:28 +1000 |
commit | f83633a34c54967c35bdc3a1bb157e13c30db64f (patch) | |
tree | c3bfb0c1836859c9f21f4b6b94ea7ab9642272c8 /.gitignore | |
parent | 030efa85d9f9699999d1f17f413c98525674522f (diff) |
Allow specifying the buildbot host when opening things.
With a prefix arg, `buildbot-{revision,branch,builder}-open' will
prompt for a buildbot host first.
Also separate out the logic of getting builders.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions