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

Update .gitattributes #1303

Merged
merged 1 commit into from Jul 18, 2023
Merged

Update .gitattributes #1303

merged 1 commit into from Jul 18, 2023

Conversation

ghostwriter
Copy link
Member

This pull request proposes an update to the .gitattributes file in order to improve the repository's handling of certain file types.

Changes Made

  • Added a rule to ignore .php-cs-fixer.dist.php
  • Added a rule to ignore codecov.yml
  • Added a rule to ignore psalm-baseline.xml
  • Added a rule to ignore psalm.xml.dist

Signed-off-by: Nathanael Esayeas <nathanael.esayeas@protonmail.com>
@ghostwriter ghostwriter added Patch Backwards compatible bug fixes and improvements Chore for non-functional changes or maintenance tasks such as code cleanup, formatting, or dependency upda labels Jul 18, 2023
@ghostwriter ghostwriter added this to the 1.6.3 milestone Jul 18, 2023
@ghostwriter ghostwriter self-assigned this Jul 18, 2023
@ghostwriter ghostwriter changed the title Update .gitattributes Update .gitattributes Jul 18, 2023
@ghostwriter ghostwriter merged commit e13b4ae into 1.6.x Jul 18, 2023
19 checks passed
@ghostwriter ghostwriter deleted the chore/update-gitattributes branch July 18, 2023 12:54
@ghostwriter ghostwriter mentioned this pull request Jul 18, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Chore for non-functional changes or maintenance tasks such as code cleanup, formatting, or dependency upda Patch Backwards compatible bug fixes and improvements
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant