Somebody broke commit hook for git push --tags?

When I tried to push the RC1 tag to gitmaster just now, I got

$ git push --tags
Total 0 (delta 0), reused 0 (delta 0)
remote: Traceback (most recent call last):
remote:   File "hooks/post-receive", line 414, in <module>
remote:     raise Exception("Unknown tag type '%s'" % t)
remote: Exception: Unknown tag type 'b'commit''
To ssh://git@gitmaster.postgresql.org/postgresql.git
 * [new tag]         REL_12_RC1 -> REL_12_RC1
$

It looks like the tag got pushed anyway, but this was a bit scary.

            regards, tom lane