git.postgresql.org not in sync with master

git.postgresql.org still isn't showing a commit I pushed to master at
around 21:55 UTC (now about 45 minutes ago). This is the first time
I've ever seen it be more than a minute or two behind, so I'm thinking
something is busted. In particular, I wonder if this is relevant:

$ git push
Counting objects: 105, done.
Compressing objects: 100% (55/55), done.
Writing objects: 100% (55/55), 4.79 KiB, done.
Total 55 (delta 51), reused 0 (delta 0)
Auto packing the repository for optimum performance. <------
To ssh://git(at)gitmaster(dot)postgresql(dot)org/postgresql.git
fccef77..08779dc REL8_2_STABLE -> REL8_2_STABLE
1d6dd87..ca76a39 REL8_3_STABLE -> REL8_3_STABLE
0699d05..8057b75 REL8_4_STABLE -> REL8_4_STABLE
e73bd1e..b26d8fd REL9_0_STABLE -> REL9_0_STABLE
ba4cacf..6923d69 master -> master
$

I don't recall seeing that before, either, and am thinking maybe it
confused a trigger or something?

regards, tom lane