race condition when pushing

Hi

git push --set-upstream has some sort of race condition. Some times when I execute it, it works. Other times, it does not. Below is from my command window. I've executed the exact same command (using bash history re-execution, so I know I didn't make a typo), repeatedly. Notice the last execution results in an error. I am the only person on my machine. This is non-deterministic behavior.

lylez@LJZ-DELLPC ~/gittest/local $ git push --set-upstream origin localbranch1 Branch localbranch1 set up to track remote branch localbranch1 from origin. Everything up-to-date

lylez@LJZ-DELLPC ~/gittest/local $ git push --set-upstream origin localbranch1 Branch localbranch1 set up to track remote branch localbranch1 from origin. Everything up-to-date

lylez@LJZ-DELLPC ~/gittest/local $ git push --set-upstream origin localbranch1 error: could not commit config file .git/config Branch localbranch1 set up to track remote branch localbranch1 from origin. Everything up-to-date

I'm using Git in a Cygwin window on a 32-bit Windows 10 machine. Others have experienced this as well: http://stackoverflow.com/questions/18761284/git-error-could-not-commit-config-file

lylez@LJZ-DELLPC ~/gittest/local $ git --version git version 2.5.1

Regards,

Lyle Ziegelmiller