On 01/29/2013 05:24 PM, Al Stone wrote:
Well, we now know the workaround; do the commit, then ssh into fp.o
and
run git update-server-info in the repo. Ugly, but it works.
I'm not sure this is fixable, but I'll poke the infrastructure folks
and see what we can do.
Thanks Al.
Jon.