Parsoid 0.13.0-a4 was tagged and merged into mediawiki-vendor on Monday night (late, since we were waiting for testing to complete). It appeared we'd missed the branch of mediawiki-vendor for 1.36.0-wmf.3 by a few hours, so we cherry-picked the parsoid bump onto the 1.36.0-wmf.3 branch of mediawiki-vendor, where it was merged and currently sits: https://gerrit.wikimedia.org/r/c/mediawiki/vendor/+/618038
But 1.36.0-wmf.3 as deployed on production servers does not have the latest mediawiki-vendor; in particular, it still have the 0.13.0-a3 version of Parsoid: https://gerrit.wikimedia.org/r/c/mediawiki/vendor/+/618038
How did this happen? Is this a bug with our understanding of the release process, or a bug in how the release was done?