use HEAD instead of master for CI

apache · Jan 9, 2019 · 9819969 · 9819969
1 parent bd2f3bd
commit 9819969
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/license_header.py b/tools/license_header.py
@@ -181,7 +181,7 @@ def under_git():
 
 def git_files():
     return list(map(os.fsdecode,
-        subprocess.check_output('git ls-tree -r master --name-only -z'.split()).split(b'\0')))
+        subprocess.check_output('git ls-tree -r HEAD --name-only -z'.split()).split(b'\0')))
 
 
 def file_generator(path: str):