Loading the pipeline…

Ship release

Per convention: ship after the production deploy has tagged — shipping flips every assigned ticket to shipped, notifies voters and reporters, and publishes the changelog entry.