lost issue/pull request labels on github.com

[Denis Ovsienko via tcpdump-workers <tcpdump-workers () lists tcpdump org>]

> --- Begin Message ---
>
>
> From: Denis Ovsienko <denis () ovsienko info>
>
> Date: Thu, 26 Nov 2020 22:13:25 +0000
>
> Hello list.
>
> Before I forget again. A couple months ago I was looking through the
> issues trackers and it came to my attention that a few labels did not
> refer to any issues, so I deleted them (there were no confirmations
> whatsoever). I guess it was "wont_fix" and "invalid", maybe something
> else.
>
> Only later I figured out out that the current edition of github.com
> displays closed issues counter for a label in a separate place (cannot
> remember if this is the same as how it used to be before). Please
> excuse me for that, this damage was not intentional.
>
> -- 
>     Denis Ovsienko
>
> --- End Message ---
_______________________________________________
tcpdump-workers mailing list
tcpdump-workers () lists tcpdump org
https://lists.sandelman.ca/mailman/listinfo/tcpdump-workers