Re: tip tree clone fail

Wang Chen wrote:

So, the current solutions are:
1. Waiting for Shawn fixing it.
2. Asking Ingo to "git update-server-info" after each push.
3. Murdering our IT people.

I'd rather to do the second solution than the third one :)

Actually, the third solution is the proper one given the circumstances 
you find yourself in.  None of this would be a problem if there wasn't a 
bunch of companies with incompetent network management.

	-hpa