Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Docs on "Record-based APIs: the nested records case" not in main branch #1701

Open
tfc opened this issue Aug 15, 2023 · 3 comments
Open

Docs on "Record-based APIs: the nested records case" not in main branch #1701

tfc opened this issue Aug 15, 2023 · 3 comments

Comments

@tfc
Copy link

tfc commented Aug 15, 2023

Hello,

i stumbled upon this multiple times:

  1. I need to know how to use record based nested apis, so i go to https://docs.servant.dev (what else?)
  2. It's not there. So i google.
  3. Google leads me to https://docs.servant.dev/en/inserting_doc_namedroutes/cookbook/namedRoutes/NamedRoutes.html

I think this should be merged and part of the normal main docs, or are there reasons against?

@ysangkok
Copy link
Contributor

ysangkok commented Mar 6, 2024

What makes you think that this is related to git branches? I don't actually know where this is stored or built from, so this is not rhetorical.

@tfc
Copy link
Author

tfc commented Mar 6, 2024

I guessed. There is a branch that's called exactly like that version of the docs.

@tchoutri
Copy link
Contributor

tchoutri commented Mar 6, 2024

Yeah ReadTheDocs does this. We have to bring #1542 to the finish line

# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants