On Monday, 25 January 2021 at 13:04:42 UTC, Timon Gehr wrote:
On 25.01.21 11:05, Imperatorn wrote:
On Monday, 25 January 2021 at 06:59:00 UTC, ag0aep6g wrote:
On 25.01.21 07:46, Imperatorn wrote:
Proposed solution:
Archive issues older than 10 years (and maybe some critera
based on latest updated). If they are relevant, it's the
authors responsibility to update the issue so that it's
reproducible in the latest release.
#reasonablebutcontroversial
Just no. Reproducibility is a criterion. Age isn't.
Sure, but how do you define it?
If you need reproducibility to be defined, please stay away
from the issue tracker.
I don't mean the definition of that obviously...
