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 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html