Ensure to fetch before checking out a new Git ref

2017-08-02 16:40:07 +02:00 · 2017-08-02 16:40:07 +02:00 · 87cecdc25a
parent 6ef11d2578
commit 87cecdc25a
1 changed files with 2 additions and 1 deletions
--- a/build-docs.rb
+++ b/build-docs.rb
@ -29,6 +29,7 @@ config['projects'].each do |project_name, project_config|
    repo = Git.clone(project_config['git'], clone_target)
  else
    repo = Git.open(clone_target)
+    repo.fetch()
  end

  puts "Checkout ref '#{project_config['ref']}'"