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)
- 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)