Add a note to GitRepo#resolve about short SHAs changing.