| === mwhudson is now known as zz_mwhudson | ||
| === mpt_ is now known as mpt | ||
| wgrant | cjwatson: Did I miss the sleep 15? | 10:46 |
|---|---|---|
| cjwatson | ... oops | 10:47 |
| cjwatson | you didn't see that. (pushed) | 10:47 |
| 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:48 |
| 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:49 |
| 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:51 |
| 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:52 |
| wgrant | Nah, I'm looking at MP creation time vs Date: header. | 10:53 |
| === wedgwood is now known as Guest12754 | ||
| === Ursinha is now known as Ursinha-afk | ||
| === Ursinha-afk is now known as Ursinha | ||
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!