purefunctor / purefunctor/purescript-iris

Move documentation website to alexandrite-website

Open
#488 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

0.1.x documentation tooling
Dominant language
Rust
Stars
102
Forks
11
Avg merge
3h 30m
Merged PRs (30d)
138

Description

Goal

Move the documentation website out of this repository into alexandrite-website for the 0.1.x release.

Scope

  • Migrate the documentation website to alexandrite-website.
  • Remove the ./docs directory completely from this repository.
  • Remove or update documentation-website CI configuration.
  • Remove documentation-website setup from .agents/setup.
  • Audit related tooling, configuration, agent guidance, and references; remove website-only infrastructure and update links and instructions to point to the new repository.

Ensure the website can be built and deployed from its new repository, and that this repository's remaining CI and development setup no longer depend on ./docs.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by inventorying the ./docs directory, documentation-website CI configuration, and documentation setup in .agents/setup, then search for related website references and links. Migrate the website to alexandrite-website, remove website-only infrastructure here, and update remaining instructions and references. Done means the new repository builds and deploys the website and this repository no longer depends on ./docs.

Written by the indexing model from the issue text.

Assessment

Domain
build-system, ci-cd, documentation, tooling
Issue type
Refactor
Difficulty
4/5
Estimated time
3-5 days
Activity status
Active
Clarity
Mostly clear
Newbie friendliness
45/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.