Git error: Encountered 7 file(s) that should have been pointers, but weren't
Neither of these solutions worked for me, but I pieced together a few sources to finally get all this fixed. Push any changes you don't want to lose If you can... If not, or if you don't care about your changes, press on. SourceTree, any servers, file explorers and browsers.
https://stackoverflow.com/questions/46704572/git-error-encountered-7-files-that-should-have-been-pointers-but-werent
Seonglae Cho
