do not use git pull but git remote/git reset
do not use git pull but git remote/git reset

  git pull will not work if (for instance) the source repository is rebased.
  Instead, pull new revisions using git remote (since origin is set by the original
  clone) and reset --hard the working copy to whatever state the origin repo
  is in.

Signed-off-by: Ben Burkert <73675debcd8a436be48ec22211dcf44fe0df0a64@benburkert.com>

jgp/cruisecontrolrb,dustin/cruisecontrolrb,benburkert/cruisecontrolrb,dustin/cruisecontrolrb,jgp/cruisecontrolrb,benburkert/cruisecontrolrb