> xjm 2 minutes ago
@andypost Close! Because packaging takes 7-12 minutes per commit and per dev tarball, we' started pushing the branch tips only after the releases are in packaging
> xjm < 1 minute ago
So all the commits are staged locally, but we push just the tags first and then those show up as the only packaging jobs in the queue. (Git is smart enough to push the right refs for the tags.) This helps us cut down a delay of an hour or more before the releases are available.