Git reset can be hard soft or mixed