[VOTE] Use GitHub issues instead of bugs.openwrt.org

[Rui Salvaterra]

Hi, Paul,

On Wed, 19 Jan 2022 at 10:00, Paul Spooren <mail at aparcar.org> wrote:
>
> Hi all,
>
> As discussed during yesterdays meeting, we want to shut down bugs.openwrt.org and provide a static HTML dump only. Issues on GitHub would be enabled for the openwrt/openwrt repository.
>
> A migration of existing issues is not planed, instead new issues should be created. The static HTML dump will no longer support searching, however search engines were found to be the entry to bugs.openwrt.org anyway.
>
>
> Please vote:
>
> [ ] Yes, please start using GitHub issues
> [ ] No, please find another solution

As much a I dislike GitHub, for several reasons (I still don't know
how to properly do a review, for example :P), its way of handling bug
reports isn't entirely silly, and I don't have any obvious suggestions
for alternatives, so…

[X] Yes, please start using GitHub issues

Cheers,
Rui