Skip to content

Conversation

@jmoggr
Copy link
Collaborator

@jmoggr jmoggr commented Jan 12, 2026

I'm not sure why the dev-docs folder was set up as a npm package. I've taken the liberty of repurposing it.

@jmoggr jmoggr marked this pull request as ready for review January 12, 2026 17:11
@github-actions github-actions bot temporarily deployed to netlify-preview January 12, 2026 17:11 Destroyed
@jmoggr jmoggr requested review from epatters and kasbah January 12, 2026 17:11
Copy link
Member

@kasbah kasbah left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Because it gets built and deployed to https://next.catcolab.org/dev ! From before my time but I don't think we should change that right now like this.

Copy link
Member

@epatters epatters left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for noticing that, Kaspar. I do think it's useful to have a landing page for developer docs since they're spread over several languages and packages.

@github-actions github-actions bot temporarily deployed to netlify-preview January 14, 2026 16:51 Destroyed
@jmoggr
Copy link
Collaborator Author

jmoggr commented Jan 14, 2026

I restored the npm package and updated the build to include the markdown file I added.

@epatters epatters added the documentation Improvements or additions to documentation label Jan 14, 2026
@epatters epatters changed the title Add dev docs for nix hash mismatches Add dev docs for Nix hash mismatches Jan 14, 2026
Copy link
Member

@epatters epatters left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks Jason for writing such clear docs!

@epatters epatters merged commit 7717103 into main Jan 14, 2026
19 checks passed
@epatters epatters deleted the dev-docs branch January 14, 2026 21:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants