Santiago Vila:
> On Fri, Oct 16, 2015 at 01:40:22PM +0200, Jérémy Bobbio wrote:
> > I would say that it's better to keep any issue which other free software
> > projects might bump into.
> Agreed.
> > I know it's far from a clear guideline. In any
> > cases, we have the history, as Holger said.
> I'd like to avoid having to recover an old issue from git history, if
> possible.
> So I propose this simple guideline to remove issues: Do it only when
> they were due to bugs in our CI.

I think it's sound to also remove issues due to Debian-specific
toolchain once it has been fixed. I don't think there's much value in
keeping tabs on something like ordering problems in debhelper the
required `sort` has been added.

Lunar                                .''`.                    : :Ⓐ  :  # apt-get install anarchism
                                    `. `'` 

Attachment: signature.asc
Description: Digital signature

Reproducible-builds mailing list

Reply via email to