On 13/06/2013 2:27 PM, Graydon Hoare wrote:
We've deleted the `incoming` branch on github. It was a temporary
measure until we had sufficiently solid auto-integration, which we now
have in the form of bors and the `auto` branch.
The tree will be closed for part of today in order to mop up various
associated failures. From then on in, we should be back to a "normal"
git project, developing on `master`.
Speaking of "various associated failures": doing this caused all the
pull requests open against incoming to be mass-closed. Sorry! I had no
idea it was going to do that, though I guess on reflection it should
have been obvious. Anyway, I don't think there's anything I can do to
undo it. Please re-open any pull requests you meant for us to land, but
targeting master!
Sorry again,
-Graydon
_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev
