[Vm-dev] snafu for e013b6766a05037812d48960702c0910
holger at freyther.de
Fri Nov 24 06:47:32 UTC 2017
> On 24. Nov 2017, at 13:27, Ben Coman <btc at openinworld.com> wrote:
> 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. ;)
More information about the Vm-dev