projects
/
arvados.git
/ blobdiff
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merge branch '3052-crunch-log-stdout' closes #3052
[arvados.git]
/
docker
/
api
/
update-gitolite.rb
diff --git
a/docker/api/update-gitolite.rb
b/docker/api/update-gitolite.rb
index 1623a8b93b02cab6c881fd164ce426c58dd27aea..779099aac83cf88e2892178da47fa9ca9e39b735 100755
(executable)
--- a/
docker/api/update-gitolite.rb
+++ b/
docker/api/update-gitolite.rb
@@
-1,9
+1,5
@@
#!/usr/bin/env ruby
#!/usr/bin/env ruby
-###################################################################
-# THIS FILE IS MANAGED BY PUPPET -- CHANGES WILL BE OVERWRITTEN #
-###################################################################
-
require 'rubygems'
require 'pp'
require 'arvados'
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)
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}`
@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"
if @commit then
message = "#{Time.now().to_s}: update from API"