Skip to content

Add no_rank to ranks#61

Merged
audy merged 3 commits intomasterfrom
audy/add-no-rank-rank
Mar 17, 2025
Merged

Add no_rank to ranks#61
audy merged 3 commits intomasterfrom
audy/add-no-rank-rank

Conversation

@audy
Copy link
Copy Markdown
Contributor

@audy audy commented Mar 15, 2025

@audy audy force-pushed the audy/add-no-rank-rank branch from 8cb263c to e0bf019 Compare March 15, 2025 17:28
audy added 2 commits March 15, 2025 10:29
Use a synonym instead of a new rank

Fix typo
@audy audy force-pushed the audy/add-no-rank-rank branch from e0bf019 to 77dc217 Compare March 15, 2025 17:29
@audy audy merged commit 03314ca into master Mar 17, 2025
5 checks passed
@audy audy deleted the audy/add-no-rank-rank branch March 17, 2025 18:14
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.

3 participants