the course-pull command actually does a git pull, which upon reflection is wrong
it is frequent during fine-tunings that a course would force-push rebased changes, typically for testing on a devel box
in that case the pull strategy is in the way; what we really want is for the courses-git area to reflect the upstream version, and follow force-pushes if any happens
it should be easy to come about that idea with a combo of fetch + reset
just need to be sure about the current branch and remote
the course-pull command actually does a git pull, which upon reflection is wrong
it is frequent during fine-tunings that a course would force-push rebased changes, typically for testing on a devel box
in that case the pull strategy is in the way; what we really want is for the
courses-gitarea to reflect the upstream version, and follow force-pushes if any happensit should be easy to come about that idea with a combo of fetch + reset just need to be sure about the current branch and remote