You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, if you change the SHA of a downloaded git repo, it will try to do a git reset (hg update). If this doesn't work, then we do a full git clone. It would be more efficient to do a git fetch followed by git reset.