[Vm-dev] snafu for e013b6766a05037812d48960702c0910

Fri Nov 24 06:47:32 UTC 2017

> On 24. Nov 2017, at 13:27, Ben Coman <btc at openinworld.com> wrote:
> 

Hey!

> 
> I haven't used them, but there seem a few options for issuing PRs from the command-line, which may make this more palatable.
> Thus the CI should run without needing to visit github's web-UI.

and one can probably use the github API to auto-merge PRs that have a successful build and come from a trusted developer. It is nice to live in a time computing time is so cheap. ;)

holger