Manish Goregaokar

We already store the results of all builds in the build_res stuff. We could have `report_build_res` update a status_ext like variable though I feel that we could just directly construct...

Well, the idea is not to cut down on tests, it's to add certain tests that don't need to be run often (nightly and on certain PRs, perhaps). Sadly you...

r? @aneeshusa

I believe this is intentional behavior. `force` doesn't force the current PR, it cancels the current build and builds whatever should be built next. Thus, `r- force` on the PR...

This also means that the PR won't get marked as merged unless homu first pushes the squashed version to the PR.

I ... guess. That's pretty incompatible with the current architecture. If github gave you a way of fetching the "post squash merge commit" that would be nice. Then again, we...

Yeah I can move it in if you transfer ownership (It's unfortunately two step)

Yeah, just transfer it to me and I can transfer it to the org.

And it's in rust-unofficial now!

It says you already have write permission, but I bumped it up to admin anyway.