Taimoor Zaeem

No documentation on how to exit the coqtop REPL

2

#### Description of the problem The coqtop REPL has no documentation on how to exit it. It turns out you can exit the REPL with `Quit.` and `Ctrl-d` but it...

feat: add more config examples to CLI

5

Closes #3248.

feat: add config db-hoisted-tx-settings to allow only hoisted function settings

4

Fixes #3242. @steve-chavez @laurenceisla @wolfgangwalther Even though I have applied the filter for function settings using the new config, but the setting is still being applied in `io tests`. Am...

feat: add config to disable Prefer: count=exact

2

This should fix #2777.

postgrest fails with error "failed: fe_sendauth: no password supplied"

9

### Environment * PostgREST version: 11.1.0 * Operating system: Ubuntu 20.04 ### Description of issue `postgrest-test-io` fails locally with the following error: ``` =========================== short test summary info =========================== FAILED...

Add missing entry in docs from [comment](https://github.com/PostgREST/postgrest/pull/3383#issuecomment-2083348455) in #3383.

feat: add metrics=timings preference to prefer header

1

Closes #3410. - [x] Implementation - [x] Tests - [x] Docs

fix: [WIP] mixing offset and limit with Range header

9

Fixes #3007. @steve-chavez @laurenceisla @wolfgangwalther This is an attempt to fix this issue. There is still a lot of refactoring and testing left in this PR. For now, I would...

ux: add warning when cabal reads from no index cache

7

Fixes #9136. Since, I am a new contributor, I didn't follow the provided PR template and wrote what I thought would be best in this PR. Let me know if...

feat: support string comparison for jwt-role-claim-key

1

Fixes #1536. @steve-chavez Please review.