Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Exclude files and folders from linting (closes #35) #38

Merged
merged 6 commits into from
Nov 7, 2021
Merged

Exclude files and folders from linting (closes #35) #38

merged 6 commits into from
Nov 7, 2021

Conversation

Azbagheri
Copy link
Owner

Pull Request Checklist

  • I have created an issue prior to creating this pull request
  • I have provided a detailed description and motivation regarding the change below
  • I have updated the test suite and documentation to support my change

Corresponding Issue

<ADD-ISSUE-HERE>

Description of Change

<ADD-DESCRIPTION-HERE>

Motivation and Context

<ADD-MOTIVATION-HERE>

Testing Steps

<ADD-STEPS-HERE>

Risks

<ADD-RISKS-HERE>

Additional Information

<ADD-ADDITIONAL-INFORMATION-HERE>

@Azbagheri Azbagheri linked an issue Oct 23, 2021 that may be closed by this pull request
Info: How to include all files but exclude just one specific file or folder? #35
Closed
@Azbagheri Azbagheri changed the title Exclude files and folders from linting Exclude files and folders from linting (closes #35) Oct 23, 2021
@Azbagheri Azbagheri requested a review from asadmansr October 23, 2021 02:07
@Azbagheri Azbagheri force-pushed the feature/exclude-paths-from-linting branch 4 times, most recently from a82bf19 to 62f10a4 Compare October 28, 2021 03:51
@Azbagheri Azbagheri force-pushed the feature/exclude-paths-from-linting branch from 62f10a4 to 9470c31 Compare October 29, 2021 00:38
asadmansr
asadmansr reviewed Nov 2, 2021
View reviewed changes
@Azbagheri Azbagheri force-pushed the feature/exclude-paths-from-linting branch from 1c72e72 to ae0ae37 Compare November 4, 2021 23:54
@Azbagheri Azbagheri merged commit 780d6bb into develop Nov 7, 2021
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@asadmansr asadmansr asadmansr approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Info: How to include all files but exclude just one specific file or folder?
2 participants
@Azbagheri @asadmansr