Proposal: store docs.json in the registry

Aperta
#704 21 commenti 0 reazioni 1 assegnatario Vedi su GitHub

I maintainer di solito rispondono entro 1 giorno

@thomashoneyman ci sta già lavorando.

Dal 27/7/2026.

  • #791 di @thomashoneyman — aperta

Valutazione

Questa issue non è ancora stata valutata.

Descrizione

pursuit

As part of #525 should we consider storing docs.json in the registry?

  • The registry pipeline is already compiling projects with an appropriate compiler. We can easily add the appropriate codegen targets.
  • The registry pipeline is the sole publisher to Pursuit nowadays. It seems unnecessary to support additional authentication workflows in Pursuit.
  • If we store docs metadata in the registry, pursuit largely becomes a stateless registry client in principle, even though it likely needs to build it's own index.
  • We have more freedom to adjust the actual format (especially wrt metadata) since the registry controls the data end-to-end.

Questions:

  • Where is this actually stored? Package metadata is stored in a single-file ldjson format, but we would want to store version specific files, likely.
  • Are there format changes we need to make? Is there redundant information in the data we currently publish to Pursuit that is otherwise available in the registry?
  • We may need a data migration from pursuit-backups.
  • We may need some additional postback mechanism to notify Pursuit of newly published packages if we don't want to rely on a cron job that pulls the registry metadata.
Lingua principale
PureScript
Stelle
95
Fork
79
Merge medio
16h 13m
PR unite (30g)
14

Preparare l'ambiente

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di purescript/registry-dev

Tutte le issue di purescript/registry-dev

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.