Skip to content
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.

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

Rename project 'catalog' #92

Merged
merged 1 commit into from
Jun 4, 2023
Merged

Rename project 'catalog' #92

merged 1 commit into from
Jun 4, 2023

Conversation

pawamoy
Copy link
Collaborator

@pawamoy pawamoy commented Jun 4, 2023

See #91. After merging, we just need to actually rename the repository.

Copy link
Contributor

@oprypin oprypin left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks

@pawamoy pawamoy merged commit 7c9f54f into main Jun 4, 2023
@pawamoy pawamoy deleted the rename-to-catalog branch June 4, 2023 08:33
@pawamoy
Copy link
Collaborator Author

pawamoy commented Jun 4, 2023

Should I rename the project now? Or did you want to do it later at a better time regarding your work on MkDocs?

@pawamoy
Copy link
Collaborator Author

pawamoy commented Jun 4, 2023

Ha, I don't have access to settings anyway. The repo description should also be updated to remove "ranked" maybe (the projects are still ranked but the word is intimidating as well IMO).

@oprypin
Copy link
Contributor

oprypin commented Jun 4, 2023

Thanks. Renamed and also gave you full access

@oprypin
Copy link
Contributor

oprypin commented Jun 4, 2023

It actually displays the list in ranked order, so I think that's not even wrong

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