dlang-bot is unmaintained and should be shut down

[Mindy (0xEAB)]

dlang-bot[0] has been doing as a good service for years. It was 
used to match Bugzilla issues with GitHub pull requests, suggest 
bug fixes to be sent towards the stable branch, automatically 
assign labels and merge pull requests.

Somewhat unfortunately, the bot is practically unmaintained. To 
this day, it still keeps warning PR submitters about missing 
references to the long gone Bugzilla. This has confused newcomers 
in the past. The corresponding issue report has been sitting 
there for 1.5 years by now[1].

Sure, it does things like the “master/stable warning”, but as far 
as I recall from a previous announcement the new release process 
might make that obsolete, too.

It also keeps recreating legacy label names that have fallen out 
of use since a quite a while. The labels got renamed but 
dlang-bot has no clue about that. People get also confused and 
use *both* labels. Once already, I have gone through the issue 
list of Phobos to clean up the mess of `Severity:Bug Fix` (actual 
label) vs `Bug Fix` (dlang-bot) as well as `Severity:Enhancement` 
vs `Enhancement`. That’s also why the description of those legacy 
labels has been edited by me to say, “Use *name of other label* 
instead.”
Obviously, I would have preferred to just delete the duplicate 
labels; but it’s pointless since dlang-bot will eventually 
recreate them.

The auto-merge feature has fallen out of use AFAICT because it 
got quite unreliable anyway.

So… How about we shut down dlang-bot for good?


[0] <https://github.com/dlang/dlang-bot>
[1] <https://github.com/dlang/dlang-bot/issues/306>
[2] <https://github.com/dlang/phobos/labels>