Proposal: store docs.json in the registry

オープン
  • 何か問題がありますか？
#704 コメント 21 件 リアクション 0 件 担当者 1 名 GitHub で見る

メンテナーはふだん 1 日以内に返信

@thomashoneyman がすでに取り組んでいます。

2026年7月27日 から。

  • #791 @thomashoneyman による — オープン

評価

この issue はまだ評価されていません。

説明

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.
主要言語
PureScript
スター
95
フォーク
79
平均マージ
16時間 13分
マージ済み PR（30日）
14

環境構築

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

purescript/registry-dev のほかの issue

purescript/registry-dev の issue をすべて見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。