We need something akin to a git reset --hard origin/$BRANCH after the fetch to ensure a repo is actually up-to-date where this is the typically expected behavior.
I think the only time we don't want to do this is when the repo specified for the workspace is a local filesystem repo reference as opposed to a github repo reference.
We need something akin to a
git reset --hard origin/$BRANCH
after the fetch to ensure a repo is actually up-to-date where this is the typically expected behavior.I think the only time we don't want to do this is when the repo specified for the workspace is a local filesystem repo reference as opposed to a github repo reference.