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

add new terms to water works #1256

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

matkoniecz
Copy link
Contributor

inspired by #1115 - and replaces and closes #1115

Copy link

github-actions bot commented Jun 7, 2024

🍱 You can preview the tagging presets of this pull request here.

@matkoniecz
Copy link
Contributor Author

matkoniecz commented Jun 7, 2024

before
screen16

after

screen17

is there way to have per-term priorities? Drinking water is far more expected term here :/

@matkoniecz matkoniecz marked this pull request as draft June 9, 2024 15:02
@tordans
Copy link
Collaborator

tordans commented Jun 14, 2024

is there way to have per-term priorities? Drinking water is far more expected term here :/

AFAIK there is not. You could try fiddling with the general priority, but that will have side effects with regular searches for sure.

@matkoniecz
Copy link
Contributor Author

Maybe boosting drinking water would make sense? But that in turn can result in weird things where something is decorational fountain and provides drinking water and is tagged with feature tag...

I guess I would close this one or remove that Potable part?

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.

None yet

2 participants