[19:24] <mdeslaur> when does a PPA's repo get cleaned? I deleted packages while they were building and now there's still binary packages in the repo itself
[19:25] <mdeslaur> ie: the +really8.0.31 packages in here need to go away: https://ppa.launchpadcontent.net/ubuntu-security-proposed/ppa/ubuntu/pool/main/m/mysql-8.0/
[20:17] <cjwatson> mdeslaur: six-hourly cron job IIRC
[20:17] <mdeslaur> cjwatson: ah, cool, thanks