This isn't discussion about git, but feeds we have in #mediawiki, feed
from git is definitely not the only one

On Mon, Jun 25, 2012 at 3:36 PM, Chad <[email protected]> wrote:
> On Sat, Jun 23, 2012 at 4:48 PM, Platonides <[email protected]> wrote:
>> On 23/06/12 20:34, Petr Bena wrote:
>>> Yes, the bots are useful for devs, that's the reason why we made them
>>> and there is a little point to argue about that. But they aren't
>>> useful for other users of #mediawiki especially users who seek help.
>>> IMHO #mediawiki should be used for development (bots are probably ok),
>>> #wikimedia-dev for wikimedia related developement (some bots are ok)
>>> and there should be another channel for mediawiki support, which would
>>> be user friendly.
>>>
>>> If we keep the bots as they are we won't fix anything (if you think
>>> that there is no issue, read the first mail).
>>>
>>> If we move the bots to #wikimedia-dev we likely kill the
>>> #wikimedia-dev channel, and all #mediawiki devs will loose the track
>>> of what's going on (defacto we rename #mediawiki to #wikimedia-dev and
>>> most of people who were in #mediawiki will just move to -dev).
>>>
>>> If we move the bots to separate channel which would be +m, we will
>>> make all channels more usable for regular talk. But some people will
>>> find it difficult because they would have to switch channels more
>>> often.
>>
>> The problem is not as much as switching channels, but seeing the changes
>> after the fact, when you'd have liked it 5 minutes earlier.
>> A solution could be to configure each individual to copy -feed messages
>> to the #mediawiki screen, but I'm not fond of that solution.
>> Chad asked for a middle ground, actually there would be a way in irc to
>> make the bot messages to only arrive to some people, but it'd be very hacky.
>> And with any of these, it'd be confusing that people read different
>> things at the same time on the same channel.
>>
>
> Could we maybe take this single discussion on-wiki? I'm finding it
> impossible to keep track of all of the IRC discussions in separate
> locations (here, bugzilla) when what we need is just one centralized
> place to hash this out.
>
> Might I suggest: https://www.mediawiki.org/wiki/Git/IRC?
>
> Thanks,
>
> Chad
>
> _______________________________________________
> Wikitech-l mailing list
> [email protected]
> https://lists.wikimedia.org/mailman/listinfo/wikitech-l

_______________________________________________
Wikitech-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikitech-l

Reply via email to