Welcome to mirror list, hosted at ThFree Co, Russian Federation.

gitlab.com/gitlab-org/gitlab-docs.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'Rakefile')
-rw-r--r--Rakefile3
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