Notes on git's error messages