strange git error, probably after changing capitalization
strange git error, probably after changing capitalization