Skip to content

chore: port .editorconfig and .gitattributes from org-dotgithub (activation audit kill)#13

Merged
4444J99 merged 2 commits into
mainfrom
chore/port-org-dotgithub-extras
Jun 22, 2026
Merged

chore: port .editorconfig and .gitattributes from org-dotgithub (activation audit kill)#13
4444J99 merged 2 commits into
mainfrom
chore/port-org-dotgithub-extras

Conversation

@4444J99

@4444J99 4444J99 commented Jun 22, 2026

Copy link
Copy Markdown
Contributor

Ports the two trivial extras (.editorconfig, .gitattributes) from org-dotgithub into this repo before archiving the duplicate.

See organvm-iv-taxis/org-dotgithub#2 for full audit context.

@4444J99 4444J99 merged commit 13c1bf7 into main Jun 22, 2026
2 checks passed
@4444J99 4444J99 deleted the chore/port-org-dotgithub-extras branch June 22, 2026 02:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant