For a long time, I have been suffering from git problems when I push to our server. I have been hoping that it should just magically go away with some update or something, but I guess not. Basically, I have to push several times for it to "take".
No idea whether or not this is related to your issue, but I run into pretty frequent fork failures from cygwin git that can at least be worked around by setting
alias git="env PATH=/usr/bin git" in my .bashrc. -Tony -- Problem reports: http://cygwin.com/problems.html FAQ: http://cygwin.com/faq/ Documentation: http://cygwin.com/docs.html Unsubscribe info: http://cygwin.com/ml/#unsubscribe-simple
