-
-
Notifications
You must be signed in to change notification settings - Fork 1k
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: merge postgrest-docs into the core repository #3120
Conversation
66d4bd2
to
d17ebfb
Compare
Some extra things to consider:
|
b9df86b
to
8e6bfce
Compare
I think it should be done in a different PR after merging, since a new Sponsor was added. Kinda scary to handle rebase conflicts here. I tested a Read The Docs deploy using this branch and it seems to be working without issues: |
8e6bfce
to
4d992f8
Compare
@wolfgangwalther WDYT? Did you manage to compare both strategies to merge the docs into the core repo? |
I did not, yet. It's on my list after #3169 and some more experiments with cross-compiling. |
4d992f8
to
0f4259b
Compare
As a first step, I rebased this PR on the recent merge of the docs main branch. Will still go through the details of the nix setup etc. later. |
f05ea29
to
c1c9a41
Compare
This allows more flexible control over the working directory. Values for workingDir must always start with a / and will then be relative to the repo root.
This is long overdue. We expect everyone contributing to postgrest to use the nix tools, so it makes no sense to carry around external tools anymore.
c1c9a41
to
cceb0cc
Compare
Done.
Done. Will wait for CI to pass and then merge. |
Closes #2814