X-Git-Url: https://git.arvados.org/arvados.git/blobdiff_plain/150f495e96c43f5d7e0df58352c5b20cc9e83ccd..62790d76daf181a457d8f47741721967cd9cb7d9:/docker/api/update-gitolite.rb?ds=sidebyside

diff --git a/docker/api/update-gitolite.rb b/docker/api/update-gitolite.rb
index 1623a8b93b..779099aac8 100755
--- a/docker/api/update-gitolite.rb
+++ b/docker/api/update-gitolite.rb
@@ -1,9 +1,5 @@
 #!/usr/bin/env ruby
 
-###################################################################
-#  THIS FILE IS MANAGED BY PUPPET -- CHANGES WILL BE OVERWRITTEN  #
-###################################################################
-
 require 'rubygems'
 require 'pp'
 require 'arvados'
@@ -143,12 +139,12 @@ begin
   Dir.glob(gitolite_admin + '/keydir/arvados/*.pub') do |key_file|
     next if key_file =~ /arvados_git_user.pub$/
     next if @seen.has_key?(key_file)
-    puts "Extra file #{key_file}" 
+    puts "Extra file #{key_file}"
     @commit = true
     Dir.chdir(gitolite_admin)
     key_file.gsub!(/^#{gitolite_admin}\//,'')
     `git rm #{key_file}`
-  end 
+  end
 
   if @commit then
     message = "#{Time.now().to_s}: update from API"