On October 8, 2017 6:33:16 PM Peter Dimov via Boost
Andrey Semashev wrote:
On 10/08/17 17:00, Peter Dimov via Boost wrote:
Re Trac, I just enabled Github Issues for Random. Perhaps we finally need to do that for all libraries.
I think it should be left up to the library maintainers.
The library maintainers who dislike issues can re-disable them.
The problem with the current status quo is that when I look at a library and see its issues disabled, I don't know if that's because the maintainer wants them disabled, or because they are disabled because all were initially disabled. No way to gauge intent.
Just let the maintainers have admin rights for their libraries, they will enable issues if they want it. Enabling it globally and asking the maintainers to complain seems like a wrong way to gauge intent.