Skip to content

Exclude repository artefacts - #51

Merged
nicwortel merged 2 commits into
nth-root:mainfrom
raphaelstolt:lean-releases
Nov 4, 2026
Merged

nicwortel merged 2 commits into
nth-root:mainfrom
raphaelstolt:lean-releases

Conversation

@raphaelstolt

Copy link
Copy Markdown
Contributor

Exclude unnecessary repository artefacts.

@nicwortel

Copy link
Copy Markdown
Member

Thank you for the pull request! I have added one commit to keep the README.md in the archive.

@nicwortel
nicwortel merged commit e968913 into nth-root:main Nov 4, 2026
7 checks passed
@raphaelstolt
raphaelstolt deleted the lean-releases branch November 4, 2026 15:49
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.

2 participants