Martin Pool

That could be an option too, thanks. The main advantage of using git2-rs that I can think is is that it'll work if there's no `git` binary available, which seems...

The easiest workaround for the git issue is probably `--in-place`, or copying it yourself then using that. The main thing cargo-mutants uses signals for is to kill hung tests, and...

> What would be the commit message? I guess it would be the PR title, but perhaps it could be included in the command to Bors?

True, which it probably cannot do when the PR is coming from a third party. However it could mark it as closed, and the author would presumably see the new...

Would it work for Homu to tell Github to do the merge (https://developer.github.com/v3/pulls/#merge-a-pull-request-merge-button)? There is a `squash` option there.

I'm not suggesting it should always squash. Just that, when the reviewer wants it squashed, Homu could do this, as a human reviewer would, rather than making the contributor do...

One way to do it would be to look at https://docs.rs/cargo_metadata/ output, but there might be simpler ways...

@xd009642 I can reproduce this; I haven't looked into why yet. I see a bunch of test failures during the baseline test. Since it isn't timing out, it should not...

@xd009642 I came back to this today and started by running `cargo t` in c493bc1d9e581b0c4bca5e3c07868a5579286cbb from tarpaulin, without involving cargo mutants, on Linux. That fails with ``` failures: ---- follow_exes_down...

My main guess, without having a really crisp reproduction yet, is that it's something to do with cargo-mutants running subprocesses in a new process group. It uses the process group...