Re: [dev-servo] Please avoid @-mentioning people in commit or PR messages

2017-03-01 Thread Kartikaya Gupta
On Wed, Mar 1, 2017 at 6:02 AM, Simon Sapin wrote: > The first message of a pull request is copied into the merge commit when > bors/homu merges it. What was the rationale behind this, out of curiousity? Cheers, kats ___ dev-servo mailing list dev-serv

Re: [dev-servo] New intermittent build failure

2017-11-21 Thread Kartikaya Gupta
FWIW I was seeing this not infrequently in my local m-c builds when I had sccache enabled. I've since disabled sccache and the problems went away. On Tue, Nov 21, 2017 at 3:54 PM, Josh Matthews wrote: > I have noticed some build failures recently that are intermittent and have > the following sig

Re: [dev-servo] New intermittent build failure

2017-11-21 Thread Kartikaya Gupta
I had filed https://bugzilla.mozilla.org/show_bug.cgi?id=1404357 for it. On Tue, Nov 21, 2017 at 5:29 PM, Kartikaya Gupta wrote: > FWIW I was seeing this not infrequently in my local m-c builds when I > had sccache enabled. I've since disabled sccache and the problems went > aw