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

.gitattributes: sync with current repo state #198

Merged
merged 1 commit into from
Jan 5, 2023

Conversation

jrfnl
Copy link
Member

@jrfnl jrfnl commented Jan 2, 2023

Proposed Changes

A number of dev-related files/directories were not listed in the .gitattributes file, while these don't need to be included in the distribution archives.

Fixed now.

Verified

This commit was signed with the committer’s verified signature.
jrfnl Juliette
A number of dev-related files/directories were not listed in the `.gitattributes` file, while these don't need to be included in the distribution archives.

Fixed now.
@jrfnl jrfnl added this to the Release v1.0.0 milestone Jan 2, 2023
@jrfnl jrfnl requested a review from a team January 2, 2023 21:53
@Potherca Potherca merged commit fcae465 into master Jan 5, 2023
@Potherca Potherca deleted the feature/gitattributes-update branch January 5, 2023 09:55
@Potherca
Copy link
Member

Potherca commented Jan 5, 2023

Merged without waiting for all checks passing as only non-code changes were made.

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.

None yet

2 participants