On 2024-02-28 12:13, Florian Smeets wrote:
On 28.02.24 21:00, Miroslav Lachman wrote:
On 28/02/2024 20:22, Florian Smeets wrote:
Ports can be removed immediately if one of the following conditions is
met:
- Upstream distfile is no longer available from the original source/mirror
(Our and other distcaches e.g. Debian, Gentoo, etc do not count as
"available")
I miss some sort of time frame like in the following cases. The way the
sentence is written now, it looks like there may be an immediate removal on
the first day of the outage.
Good point. Yeah, it certainly isn't the intention to remove it immediately.
I
will make a note to add a time frame. I'm thinking 4 weeks, as that feels
long for
a site to go away and reappear, but we might just make it 3 months as with
most of
the other points.
I'd vote for 3 (mos). But 2 also seems reasonable. So that those that use it.
But don't
update frequently get a chance to notice, and subsequently save/maintain it.
:)
Thanks
Florian
--
--Chris Hutchinson
