diff options
| -rwxr-xr-x | .github/check_dirs.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/check_dirs.sh b/.github/check_dirs.sh index a72db06a7a8..6ab47851cb0 100755 --- a/.github/check_dirs.sh +++ b/.github/check_dirs.sh @@ -17,6 +17,7 @@ declare -A top_dirs=( [scripts/]=1, [yt/]=1, [vendor/]=1, + [devtools/]=1, ) cd $GIT_URL |