Name suggestions?

@Lydia_Pintscher it's trivial to move gerrit and wikibugs bots, and think github is also easy (a setting?)

I don't really care about having bots in the channel, I do care about the amount of noise these bots are creating. The focus should be on improving the Signal-to-noise ratio.

• Wikibugs should probably only report bugs with status "unbreak now!" in the Wikidata channel, all bugs should probably be reported in wikimedia-dev and as a new channel name suggestion wikidata-dev
• AsimovBot: Kickban that bot.
• wm-bot: What was the function of that one again? Doesn't seem to be very noisy.
• gerrit-bot: Should probably start reporting to wikidata-dev. Maybe only report merged patches in the main channel?
• Some bot that reports that the build is broken? Not sure what the name is. Probably both main and wikidata-dev?

https://www.wikidata.org/wiki/Wikidata:IRC should probably be updated with the new channel and the different bots floating around.

For the github repos we simply change this one line and re run the script:
https://github.com/wmde/github-hook-updater/blob/master/run.php#L7

-AsimovBot: No idea where it cam from or where it appear but it seems to be doing more noise than good
-wm-bot: Gives us commands like !lydia and !nyan ;p It is quiet unless you want it to say things!

The other bots are:
gh-datavales - Github DataValues repo updates
gh-wmde - Github wmde repo updates
gerrit-bot - All the gerrit updates
Wikibugs - All the phab updates
travis-ci - All the travis stuff

#Wikidata-dev could be good?
Moving everything is easy

I dislike the name #wikidata-dev as it suggests a separate channel for development work. I'd suggest: #wikidata-flood or #wikidata-bots

Or #wikidata-feed which would then be similar to #mediawiki-feed

Am 15.06.2015 um 12:33 schrieb Addshore:

Addshore added a comment.

Or #wikidata-feed which would then be similar to #mediawiki-feed

+1

In T102119#1365066, @JanZerebecki wrote:

I dislike the name #wikidata-dev as it suggests a separate channel for development work. I'd suggest: #wikidata-flood or #wikidata-bots

Yeah, we want to get rid of you guys! ;-)
#wikidata-feed sounds fine to me
(why don't we have a bikeshedding project in Phabricator? That would be so awesome!)

The Github bot is the most noisy imo. I already asked what the function of AsimovBot in our channel was, no useful response. We do use wm-bot, that one needs to stay. :)

Yeah please no -dev channel but -flood, -feed or -bots instead

I have registered #wikidata-feed and set Lydia with all of the permissions, mwahahaa.
I'll prepare patches for them all at some point and move all of the bots at once (so people don't get confused as to where they should be looking!)

Change 218356 had a related patch set uploaded (by Addshore):
Change Wikidata to #wikidata-feed

https://gerrit.wikimedia.org/r/218356

Change 218357 had a related patch set uploaded (by Addshore):
Change Wikidata to #wikidata-feed

https://gerrit.wikimedia.org/r/218357

All patches made below:

Github:
https://github.com/wmde/WikibaseInternalSerialization/pull/80
https://github.com/wmde/WikibaseDataModel/pull/502
https://github.com/wmde/WikibaseDataModelSerialization/pull/144
https://github.com/wmde/ValueView/pull/175
https://github.com/wmde/github-hook-updater/pull/1
https://github.com/wmde/WikibaseSerializationJavaScript/pull/22
https://github.com/wmde/DataValuesJavascript/pull/80
https://github.com/wmde/WikibaseDataModelJavaScript/pull/34
https://github.com/wmde/DataTypes/pull/30
https://github.com/wmde/Serialization/pull/12
https://github.com/wmde/Diff/pull/45
https://github.com/wmde/Ask/pull/10
https://github.com/wmde/AskSerialization/pull/10
https://github.com/wmde/WikibaseQuery/pull/62
https://github.com/wmde/WikibaseDatabase/pull/64
https://github.com/wmde/WikidataBuilder/pull/34
https://github.com/wmde/AskWikitextSerialization/pull/5
https://github.com/wmde/WikibaseQueryEngine/pull/145

Gerrit:
https://gerrit.wikimedia.org/r/#/c/218356/
https://gerrit.wikimedia.org/r/#/c/218357/

wm-bot does logging, so it needs to stay in #wikidata.

Change 218356 merged by jenkins-bot:
Change Wikidata to #wikidata-feed

https://gerrit.wikimedia.org/r/218356

Change 218357 merged by jenkins-bot:
Change Wikidata to #wikidata-feed

https://gerrit.wikimedia.org/r/218357

Grrrit-wm and wikibugs have been moved.

Also these 2 which I apparently missed!
https://gerrit.wikimedia.org/r/#/c/218435/
https://gerrit.wikimedia.org/r/#/c/218439/