Skip to content

Conversation

chenson2018
Copy link
Collaborator

No description provided.

@chenson2018 chenson2018 requested a review from fmontesi as a code owner August 27, 2025 14:40
@chenson2018
Copy link
Collaborator Author

This still complains

Unknown owner on line 7: make sure @m-ow exists and has write access to the repository

/Cslib/Logics/ @fmontesi @m-ow

but that is unrelated to the reorg.

@fmontesi fmontesi merged commit 84c46b9 into leanprover:main Aug 27, 2025
2 checks passed
@chenson2018 chenson2018 deleted the reorg-CODEOWNERS branch August 27, 2025 16:54
fmontesi pushed a commit that referenced this pull request Sep 20, 2025
thomaskwaring pushed a commit to thomaskwaring/cslib_SKI that referenced this pull request Oct 6, 2025
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