Skip to content

Update .gitattributes#2748

Merged
rodrigoprimo merged 1 commit into
developfrom
feature/gitattributes-update
Jul 3, 2026
Merged

Update .gitattributes#2748
rodrigoprimo merged 1 commit into
developfrom
feature/gitattributes-update

Conversation

@jrfnl

@jrfnl jrfnl commented Jul 2, 2026

Copy link
Copy Markdown
Member

Description

Follow up to #2539 and #2733 which both either added or removed a file which should be in the repo, but should not be distributed with releases.

Suggested changelog entry

N/A

Follow up to 2539 and 2733 which both either added or removed a file which should be in the repo, but should not be distributed with releases.
@rodrigoprimo rodrigoprimo merged commit c1e23bc into develop Jul 3, 2026
42 checks passed
@rodrigoprimo rodrigoprimo deleted the feature/gitattributes-update branch July 3, 2026 11:58
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.

2 participants