git mirror not updating

[Jay Kreps]

I don't think our git mirror is updating any more. Anyone know if there is
something we need to do to get this working again after the svn move?

(this may just be me being inept with git, though...)

-Jay