Thanks. Looked up a couple of such items and settled on
git fetch --all git reset --hard origin/stable
Seems to have done the trick with no adverse effects!
