Hard reset after repo fetching

1 files changed, 3 insertions, 0 deletions

diff --git a/Rakefile b/Rakefile
index d04d8ad4..342edfe4 100644
--- a/Rakefile
+++ b/Rakefile
@@ -56,6 +56,9 @@ task :pull_repos do
       # without accidentally deleting data
       `git stash -u` if git_workdir_dirty?
       `git checkout #{branch}`
+
+      # Reset so that if the repo is cached, the latest commit will be used
+      `git reset --hard origin/#{branch}`
     end
   end
 end