Howdy,
The Windows petri-dish keeps failing in the middle of git fetching.
It's failed 4 times in a row now, including for change 9769 which is
basically just master.
Looking at stackoverflow responses to similar issues, it seems some
people have better luck using SSH instead of HTTPS (the Windows
petri-dish is using https). Also, some folks recommend wiping out the
repo locally and doing a git clone but with the "--depth" option set
low. There're also some comments that increasing the http.postBuffer
value in git config might help.
-hadriel