Wednesday, February 8, 2017

download changes from git

So this should work when I've got multiple copies of the repo on different computers.  Run this (and the first two commands are optional) to refresh the local repo to the latest version.
git reset --hard HEAD
git clean -f
Those two will remove any local changes.  The last one actually gets the new version.
git pull

No comments:

Final post here

I'm switching over to github pages .  The continuation of this blog (with archives included) is at umhau.github.io .  By the way, the ...