diff --git a/.github/header-checker-lint.yml b/.github/header-checker-lint.yml index 39c1acdd6d..948cc1a01c 100644 --- a/.github/header-checker-lint.yml +++ b/.github/header-checker-lint.yml @@ -40,3 +40,4 @@ ignoreFiles: - 'perfmetrics/scripts/ls_metrics/directory_pb2.py' - '*.json' - '.github/**' + - '*.yaml' diff --git a/tools/config-gen/params.yaml b/tools/config-gen/params.yaml index 4c12b9f07b..79fda82efc 100644 --- a/tools/config-gen/params.yaml +++ b/tools/config-gen/params.yaml @@ -13,7 +13,8 @@ # The params must be kept sorted in ascending order. # The linear order between any two params, p1 and p2 is defined as following: # 1. If p1.config-path != "" && p2.config-path != "" then p1 < p2 iff p1.config-path < p2.config-path else p2 < p1 -# 2. If p1.config-path == "" && p2.config-path == "" then p1 < p2 iff p1.flag-name < p2.flag-name else p2 < p1 +# 2. If p1.config-path == "" + && p2.config-path == "" then p1 < p2 iff p1.flag-name < p2.flag-name else p2 < p1 # 3. If p1.config-path != "" && p2.config-path == "" then p1 < p2 and vice versa. # ###################################### DOCUMENTATION ENDS ######################