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

docs: add index usage section #3299

Merged
merged 2 commits into from
Mar 2, 2024

Conversation

steve-chavez
Copy link
Member

Clears doubts about if indexes will be used by PostgREST filters.

Also did some reordering and mentioned why casting is not allowed on horizontal filtering.

@steve-chavez
Copy link
Member Author

The https://gnuhost.eu/ link is failing. Maybe it's sporadic. Will merge.

@steve-chavez steve-chavez merged commit 2f91853 into PostgREST:main Mar 2, 2024
4 of 5 checks passed
@steve-chavez
Copy link
Member Author

I emailed Oleg from GNUHost and there will be a domain change soon. We could comment the domain for now or maybe just wait.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants