Add a convenient way to disable our git hooks via an environment

[arvados-dev.git] / git / hooks / check-copyright-headers.rb

diff --git a/git/hooks/check-copyright-headers.rb b/git/hooks/check-copyright-headers.rb
index 7d726f96d8f587fa67dd56a544b70d1f0698e28d..c2f0ebd195f6a1ce217e9f7492aa30653ea6b5fc 100755 (executable)
--- a/git/hooks/check-copyright-headers.rb
+++ b/git/hooks/check-copyright-headers.rb
@@ -17,6 +17,11 @@ $oldrev  = ARGV[1]
 $newrev  = ARGV[2]
 $user    = ENV['USER']
 
+if ENV.has_key?('GL_OPTION_SKIP_COPYRIGHT_HEADER_CHECK')
+  puts "Skipping copyright header check..."
+  exit 0
+end
+
 puts "Enforcing copyright headers..."
 puts "(#{$refname}) (#{$oldrev[0,6]}) (#{$newrev[0,6]})"