[15:04] <ondrej> Hi, sorry to disturb people on Saturday afternoon, but is there anybody who can either bump my repository size limit or run a cleanup and recalculate the size?
[15:04] <ondrej> I kind of broke my ppa:ondrej/php packages and I can't upload the fix
[15:07] <ondrej> cjwatson: pretty please :-)
[16:39] <cjwatson> ondrej: done
[16:39] <cjwatson> ondrej: you could consider deleting disco binaries too perhaps since it's EOL now
[17:28] <ondrej> cjwatson: thank you, I'll purge disco, it was on my list anyway
[17:31] <ondrej> you are probably aware of the fact that deleting packages in large repositories is broken, and one needs to delete in chunks, but if you are not, I can fill the issue (but you probably are, so just ignore the message)
[17:37] <cjwatson> ondrej: not specifically aware but probably not surprised.  However if you file a bug and quote a sample OOPS ID then we can go over the SQL statement log and such
[17:40] <ondrej> cjwatson: ok, I'll do that next time I am deleting bigger chunks (I already purged disco).  Thanks again, the launchpad service is much appreciated!