[12:14] <mapreri> mhh, how long does it take for the space in a ppa to be recovered after deleting packages?  I deleted something more than 1 hour ago, but it's still marked as full in the webui and uploads are still rejected?
[12:17] <cjwatson> mapreri: It's a cron job that runs every six hours
[12:18] <cjwatson> mapreri: We can bump your quota a bit to unblock you though, if you tell us the URL
[12:18] <mapreri> cjwatson: it's ppa:mapreri/ppa, I filed a question about it earlier.  (though I'm now just using a temporary different ppa for this particular task, so it's not urgent)
[12:21] <cjwatson> mapreri: Oh, I missed that question, sorry.  Done now
[12:21] <mapreri> thanks :)
[18:19] <cory_> I'm having trouble troubleshooting a PPA. I created a PPA yesterday and pushed to it, but it failed to build. Turns out outbound network sockets aren't allowed, okay fine. Fixed the build and pushed a new version...and the build never starts. The next night, still hasn't started. I created it again, and pushed again... build isn't starting. No build pending.
[18:20] <cory_> I'm really pulling my hair out. No errors, it says the push is successful. Gpg keys are good. But just nothing happens.
[18:21] <sarnold> cory_: check your email? I think a fair number of launchpad errors show up that way
[18:21] <cory_> Hmm, okay.
[18:23] <cory_> Ooo.. Well that is useful, actually.  Mismatch in binaryfulness. (arch) False != (files) True
[18:23] <cory_> Thanks.
[18:26] <sarnold> yay? :)