Does git itself use mtimes or sha1s?