diff options
| author | Cole Wagner <colew@google.com> | 2017-07-24 16:09:26 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-24 16:09:26 -0700 |
| commit | 5fd2e3609437729e6776d3916e7743acaf3fb82d (patch) | |
| tree | 96e159e983fe20016e2ce9c5d1dc0993fead83fa | |
| parent | c56c648ad64e05b65c46d0602ec1e22d4bd102a6 (diff) | |
| parent | 611614b2e83f27fb9bcfba52313e92a70b917b77 (diff) | |
Merge pull request #843 from grodrigues3/add-gen-files
add generated-files checker for mungebot
| -rw-r--r-- | .generated_files | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/.generated_files b/.generated_files new file mode 100644 index 00000000..a4349240 --- /dev/null +++ b/.generated_files @@ -0,0 +1,16 @@ +# Files that should be ignored by tools which do not want to consider generated +# code. +# +# https://github.com/kubernetes/contrib/blob/master/mungegithub/mungers/size.go +# +# This file is a series of lines, each of the form: +# <type> <name> +# +# Type can be: +# path - an exact path to a single file +# file-name - an exact leaf filename, regardless of path +# path-prefix - a prefix match on the file path +# file-prefix - a prefix match of the leaf filename (no path) +# paths-from-repo - read a file from the repo and load file paths +# +# For the community repo, there are no autogenerated files that should be skipped by tools and automation. |