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@gitmaster.postgresql.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