Git 'fatal: Unable to write new index file'

 https://stackoverflow.com/questions/16064513/git-fatal-unable-to-write-new-index-file

the disk ran out of space, so I had to delete files from the hard drive to make space.