How we cut our Docker push time by 90% | Hacker News Reader