Skip to content
This repository has been archived by the owner on Apr 4, 2023. It is now read-only.

Move the sort ranking rule before the exactness ranking rule #344

Merged
merged 1 commit into from
Sep 7, 2021

Conversation

Kerollmops
Copy link
Member

@Kerollmops Kerollmops commented Sep 7, 2021

This PR moves the sort ranking rule at the 5th position by default, right before the exactness one.

@Kerollmops Kerollmops requested a review from irevoire September 7, 2021 14:12
@Kerollmops Kerollmops linked an issue Sep 7, 2021 that may be closed by this pull request
@Kerollmops Kerollmops changed the title Move the sort ranking rule after the exactness ranking rule Move the sort ranking rule before the exactness ranking rule Sep 7, 2021
@Kerollmops Kerollmops force-pushed the sort-ranking-rule-5th-position branch from 8bbb340 to c6db4b8 Compare September 7, 2021 14:41
@Kerollmops Kerollmops force-pushed the sort-ranking-rule-5th-position branch from c6db4b8 to e2cefc9 Compare September 7, 2021 14:41
Copy link
Member

@ManyTheFish ManyTheFish left a comment

Choose a reason for hiding this comment

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

bors merge

@bors
Copy link
Contributor

bors bot commented Sep 7, 2021

@bors bors bot merged commit 48d211b into main Sep 7, 2021
@bors bors bot deleted the sort-ranking-rule-5th-position branch September 7, 2021 16:15
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

sort ranking rule is now at 5th position
2 participants