An irc channel for bors

nrc · 2014-10-23T05:35:23.819Z

Could we have a new irc channel just for the bors updates? I find it is a lot of noise having it in rust-internals, and when I do actually want to check for a notification its hard to find amongst the scrollback.

Does anyone really like having the notifications in-channel?

nikomatsakis · 2014-10-23T17:40:26.207Z

Seems like a good idea to me

retep998 · 2014-10-26T19:06:28.446Z

Yes. Let’s have a channel which we can clog up with all the notifications for Rust and Cargo without anyone speaking to clutter it up.

brson · 2014-10-28T18:37:48.393Z

@alexcrichton suggests that instead of doing this we should just turn off the bots since individuals can get notifications from GitHub by email.

nrc · 2014-10-28T20:50:14.614Z

I guess we could, it would be an improvement. I do sometimes find the irc notifications helpful - GitHub notifications are pretty bad to monitor due to the sheer volume and lack of filtering. I suppose it should usually be easier to just check the bors queue directly rather than scrolling though irc.

mcpherrinm · 2014-10-29T00:12:29.818Z

I’d really like a channel for rust-rfc repo to notify when new pull requests show up. AFAICT only the repo owners can set up a github bot like that, or I would have done it myself

nrc · 2014-10-29T01:58:55.613Z

It should be really easy to add that functionality to rust-highfive - it gets a notification for every PR already, it should be easy enough to post to irc. I’d happily take a patch for this - https://github.com/nick29581/highfive

brson · 2014-10-29T16:57:38.334Z

@nrc is there a benefit to having highfive do it instead of github? i think github can post irc notifications on prs.

brson · 2014-10-29T17:08:58.429Z

I’m leaning toward doing this since there’s some demand, it’s harmless, and gives us room to experiment with more bot fun. @nrc do you want to set it up?

Things we might want to consider having:

GitHub rust/rfcs/cargo (maybe all rust-lang repos) merges, new PR’s, issues
buildbot notifications
Some sort of gamification posts, commit leaderboards, etc.
New cargo packages and updates from the cargo repo
Twitter mentions
HN posts to the ‘new’ page

nrc · 2014-10-29T18:38:06.910Z

i think github can post irc notifications on prs.

I did not know it could do that, that’s pretty cool. In that case there is no need for highfive to do it.

Sure, I can go ahead and do this.

Anyone care about names for the channel - #rust-bors, #rust-bots, #rust-notifications, #rust-announce? Better ideas?

alexcrichton · 2014-10-29T18:50:17.508Z

I’d vote for #rust-bors, bors shall become all knowing!

brson · 2014-10-29T22:18:21.275Z

Hate to bikeshed, but I’d kind of prefer not #rust-bors since it’s not self-explanatory. We’ll have to list this channel in various places, and it seems like it will cause confusion. I like #rust-bots, #rust-notifications or maybe #rust-updates.

mcpherrinm · 2014-10-30T07:43:21.705Z

There is now a bot posting new /r/rust posts to #rust-bots

I can move it to another channel if people prefer.

(Whoops, it kinda blew up. Hopefully I fixed it…)

nrc · 2014-10-31T01:26:00.637Z

#rust-bots it is! It has the advantage that it is nice and short

mcpherrinm · 2014-11-05T23:37:15.576Z

Since stackoverflow is so relatively low volume compared to the other things in rust-bots, I have put it in #rust-stackoverflow as well.

nrc · 2019-03-25T08:23:01.999Z

This topic was automatically closed 90 days after the last reply. New replies are no longer allowed.