-
Notifications
You must be signed in to change notification settings - Fork 2.1k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fixing restyled to ignore third_party #392
Changes from 6 commits
6837478
b011353
4b0f067
c721a3e
2f555d3
4c23518
10991d9
1d6b82c
3309b40
776362f
3f655f9
6e32a20
f35b65f
e407ce3
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,81 @@ | ||
# Do anything at all | ||
enabled: true | ||
|
||
# Push the style fixes directly to the original PR | ||
auto: false | ||
|
||
# Open Restyle PRs? | ||
pull_requests: true | ||
|
||
# Add labels to any created Restyle PRs | ||
labels: | ||
- restyled | ||
|
||
# Labels to ignore | ||
ignore_labels: | ||
- restyled-ignore | ||
|
||
# Leave comments on the original PR linking to the Restyle PR? | ||
comments: false | ||
|
||
# Request review on the Restyle PR | ||
request_review: none | ||
|
||
# Patterns to exclude from all Restylers | ||
exclude: | ||
- ".github/workflows/**/*" # https://github.com/restyled-io/restyler/issues/73 | ||
- "third_party/**/*" | ||
- "build/**/*" | ||
- "autom4te.cache/**/*" | ||
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. there are no files in this directory in git... There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Yup, but it matters for locally restyled There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. restyled can't look at .gitignore? I guess this is no biggie, but it means .gitignore and this file have to be kept in sync. There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. Correct, feel free to open up an issue there. |
||
|
||
# Restylers to run, and how | ||
restylers: | ||
- name: clang-format | ||
enabled: true | ||
image: restyled/restyler-clang-format:v9.0.0 | ||
command: | ||
- clang-format | ||
- "-i" | ||
arguments: [] | ||
include: | ||
- "**/*.c" | ||
- "**/*.cc" | ||
- "**/*.cpp" | ||
- "**/*.cxx" | ||
- "**/*.c++" | ||
- "**/*.C" | ||
- "**/*.cs" | ||
- "**/*.h" | ||
- "**/*.hh" | ||
- "**/*.hpp" | ||
- "**/*.hxx" | ||
- "**/*.h++" | ||
- "**/*.H" | ||
- "**/*.java" | ||
- "**/*.js" | ||
- "**/*.m" | ||
interpreters: [] | ||
- name: prettier-json | ||
enabled: true | ||
include: | ||
- "**/*.json" | ||
- name: prettier-markdown | ||
enabled: true | ||
include: | ||
- "**/*.md" | ||
- "**/*.markdown" | ||
- name: prettier-yaml | ||
enabled: true | ||
include: | ||
- "**/*.yml" | ||
- "**/*.yaml" | ||
- name: shellharden | ||
enabled: true | ||
include: | ||
- "**/*.sh" | ||
- "**/*.bash" | ||
- name: shfmt | ||
enabled: true | ||
include: | ||
- "**/*.sh" | ||
- "**/*.bash" |
This file was deleted.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
we want restyled looking at build, as long as the files are part of the git repository
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
"We want" can you explain? which we don't want?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
we want restyled to look at all the things in build/ that are in git
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This should be addressed separately. For now, we're should ignore build, we can bring this back in later.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Aside: Ideally, we should have a real build directory then, given it's a mix of built products, and scripts