Skip to content

Rename key_projects.rst to key_projects.rst #1919

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.

Sign up for GitHub

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

Jump to bottom
Closed
wants to merge 1 commit into from
Closed

Rename key_projects.rst to key_projects.rst #1919

wants to merge 1 commit into from

Conversation

@Mauhernan
Copy link

@Mauhernan Mauhernan commented Sep 27, 2025 •
edited by github-actions bot
Loading

@ncoghlan
Copy link
Member

ncoghlan commented Sep 29, 2025

Closing, as there's no change being proposed here.

@ncoghlan ncoghlan closed this Sep 29, 2025
@webknjaz webknjaz added resoluton: invalid The requested feature or task is not appropriate, or the reported problem cannot be reproduced spam For issues/PRs that are clearly spam. labels Sep 29, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

resoluton: invalid The requested feature or task is not appropriate, or the reported problem cannot be reproduced spam For issues/PRs that are clearly spam.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@Mauhernan @ncoghlan @webknjaz