Talk:IRC bots

From Wikitech
Jump to navigation Jump to search

Is this page useful or should I merge it to meta

I see that m:IRC/Bots is quite badly outdated (it excludes most of the bots on this page, and lists a bunch of long-since-retired bots).

I'm tempted to merge & redirect this page to there, whilst overhauling that list. But perhaps this page has been useful to someone as a standalone, and I should leave it here? I'd probably drop the "E.g." section if I were to merge it. Quiddity (talk) 03:30, 17 September 2018 (UTC)

@BryanDavis, Krinkle: as the only other people who've edited this one. Quiddity (talk) 22:51, 4 November 2018 (UTC)

I'd support moving of this content to Meta-Wiki. --Krinkle (talk) 18:29, 5 November 2018 (UTC)
Merging into m:IRC/Bots seems reasonable to me as well. --BryanDavis (talk) 19:12, 5 November 2018 (UTC)
I can help with history importing if preserving history is important for you. — 레비Revi 13:19, 6 November 2018 (UTC)