One redirect. https://keydrahq.github.io/ sends a reader to
/keydra/, which is where the site actually is.
GitHub serves an organisation site from a repository with this name and nothing else, so this is the only way the root can answer at all. What it must not do is answer with a copy of the site.
The site — a landing page and the manual under /docs — is built in
keydrahq/keydra, because the manual is generated from
the application and that repository is the one place the backend, the frontend and the
documentation are checked out together at commits known to work with each other. Building it
here would mean the same three submodules in two places, drifting; pushing the built output
here would mean a token and the whole rendered site committed on every deploy.
So the root redirects, and there is one address to keep right.
The moment Keydra has a domain of its own. A custom domain on keydrahq/keydra makes the
site answer at / and the manual at /docs with no change to anything that builds them —
the base path every generated URL is derived from comes from the Pages configuration, and
for a custom domain it is empty. This repository is then a redirect to a redirect, and
should be deleted rather than kept working.
Apache License 2.0, the same as everything else under this organisation.