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(at)gitmaster(dot)postgresql(dot)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