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.
Thanks
Florian
