Re: Public UDD mirror not updated

2022-12-01 Thread Mattia Rizzolo
On Wed, Nov 30, 2022 at 06:46:34AM +0100, Andreas Tille wrote: > I realise that it is lagging behind what UDD has. […] > Could you please have a look? Already looking at https://udd-mirror.debian.net/ shows that the last update was on the 26th. It seems one import failed due to ENOSPC, despite mo

Re: Public UDD mirror not updated

2022-12-01 Thread Stuart Prescott
On 01/12/2022 19:31, Mattia Rizzolo wrote: On Wed, Nov 30, 2022 at 06:46:34AM +0100, Andreas Tille wrote: I realise that it is lagging behind what UDD has. […] Could you please have a look? Already looking at https://udd-mirror.debian.net/ shows that the last update was on the 26th. It se

Thoughts on trying to remove old and unused lintian tags?

2022-12-01 Thread Louis-Philippe Véronneau
Hello! Would people be against an effort to clean old and unused lintian tags? I'm currently counting 1522 tags and I'm sure a bunch of those aren't relevant anymore. Last time I tried to submit a MR where I was removing code I knew wasn't needed anymore, there was some push-back. Before I s

Re: Thoughts on trying to remove old and unused lintian tags?

2022-12-01 Thread Russ Allbery
I highly recommend subscribing to debian-lint-maint if you're interested in doing work on Lintian or even just want to follow its development. https://lists.debian.org/debian-lint-maint/ Copying this message there, since that's the right place for the discussion, I think. Louis-Philippe Véronnea

Re: Thoughts on trying to remove old and unused lintian tags?

2022-12-01 Thread Louis-Philippe Véronneau
On 2022-12-01 22 h 23, Russ Allbery wrote: I highly recommend subscribing to debian-lint-maint if you're interested in doing work on Lintian or even just want to follow its development. https://lists.debian.org/debian-lint-maint/ Copying this message there, since that's the right place for the