Skip to content
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

chore: move yamllint config to pre-commit config #205

Merged
merged 2 commits into from
Feb 28, 2023
Merged

chore: move yamllint config to pre-commit config #205

merged 2 commits into from
Feb 28, 2023

Conversation

SauravMaheshkar
Copy link
Contributor

@SauravMaheshkar SauravMaheshkar commented Feb 25, 2023

@rusty1s This PR aims to further improve the overall structure of the repository by moving the yamllint configuration within the pre-commit-config.yaml file.

The only snippet in which the .yamllint.yml file was being used was the pre-commit config file. yamllint allows to have a custom configuration without a config file by using the -d flag. Using this feature, we add a serialized version of the config in the args parameter of the pre-commit config.

Similar to pyg-team/pytorch_geometric#6776

@codecov-commenter
Copy link

Codecov Report

Merging #205 (5e50323) into master (e6fedf4) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master     #205   +/-   ##
=======================================
  Coverage   83.37%   83.37%           
=======================================
  Files          26       26           
  Lines         842      842           
=======================================
  Hits          702      702           
  Misses        140      140           

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@SauravMaheshkar
Copy link
Contributor Author

I've skipped updating CHANGELOG as it was skipped in pytorch_geometric as well.

@rusty1s rusty1s merged commit 1760817 into pyg-team:master Feb 28, 2023
@SauravMaheshkar SauravMaheshkar deleted the drop-yamllint branch February 28, 2023 10:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants