11 Oct 2017
erm, judging from the logs in #rust-bots, bors isn't feeling well right now >_>
here's a sample log
acrichto: is this a new build flake?
looks like it's happening to everything bunch of stuff
ah looks like you've already dealt with it :D
so I tried adding Ploppz as owner of pdf_derive
"cargo owner --add Ploppz" succeeds, but nothing changes (-l still only lists me)
sebk: have Ploppz checked "Owner Invites"
awaits response from them
!gh rust-lang/cargo 4599
[Issue 4599] <open> Document that adding someone as an owner now invites them, not adds immediately <
sebk: after the release tomorrow, cargo will print a better message telling you about invitations :)
looks like github has some issue starting 15 minutes ago
. some github comments are not appearing immediately
acrichto: Feel free to implement
I'm fine with 90 days
though I've been thinking, maybe we should do 3 releases? Not sure if that'd be better...
3 months gives us 2.1 releases so I guess that's not bad
Use smaller text
Don't colourise nicknames
Use wider column for nicknames
Hide IRC bots
Don't desaturate bots