From 28863f91d40b877289be7efaf93e9303eed95969 Mon Sep 17 00:00:00 2001 From: Alfred Gedeon Date: Wed, 10 Feb 2021 14:14:48 -0800 Subject: [PATCH] add txt to the ignored header checker extentions --- .github/scripts/kernel_checker.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/.github/scripts/kernel_checker.py b/.github/scripts/kernel_checker.py index 3daca3e61..f29749267 100755 --- a/.github/scripts/kernel_checker.py +++ b/.github/scripts/kernel_checker.py @@ -30,7 +30,8 @@ KERNEL_IGNORED_EXTENSIONS = [ '.tex', '.png', '.bat', - '.sh' + '.sh', + '.txt' ] KERNEL_IGNORED_PATTERNS = [