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

[Mathias Kresin]

1/19/22 10:59, Paul Spooren:
> 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

TBH, I'm not convinced it's a good idea to dependent on the goodwill of 
github. On the other hand, I'm not doing the work to keep flyspray up 
and running. Hence i choose to stay neutral in this regard.

Mathias