docs: def dotperu_exclude_case_insensitive_git_globs():
      """These use the glob syntax accepted by `git ls-files` (NOT our own
      glob.py). Note that ** must match at least one path component, so we have
      to use separate globs for matches at the root and matches below."""
      globs = []
      for capitalization in DOTPERU_CAPITALIZATIONS:
          globs.append(capitalization + '/**')
          globs.append('**/' + capitalization + '/**')
      return globs