=== mwhudson is now known as zz_mwhudson
=== mpt_ is now known as mpt
[10:46] <wgrant> cjwatson: Did I miss the sleep 15?
[10:47] <cjwatson> ... oops
[10:47] <cjwatson> you didn't see that.  (pushed)
[10:48] <cjwatson> I think I'm the one who needs sleep 15 (hours)
[10:48] <wgrant> Heh
[10:48] <cjwatson> TBH it would probably have done fine anyway, given that ftpmaster pivots to the new dists pretty quickly
[10:49] <wgrant> Yeah, non-instaneous retry is only valuable for !primary
[10:49] <wgrant> But some PPAs can take a while
[10:49] <cjwatson> Yeah
[10:51] <wgrant> Also, did you leave it in WIP for four minutes, or do I have some email send delay bug to fix?
[10:51] <wgrant> I only got the diff email 6 minutes ago
[10:52] <cjwatson> no WIP state at any point
[10:52] <wgrant> :/;
[10:52] <cjwatson> might have taken me a few minutes to write the MP after pushing the branch, but I assume you don't mean that
[10:53] <wgrant> Nah, I'm looking at MP creation time vs Date: header.
=== wedgwood is now known as Guest12754
=== Ursinha is now known as Ursinha-afk
=== Ursinha-afk is now known as Ursinha