What is the merging policy for stdlib? (contributing.md is nonsense)
メンテナーはふだん 2 日以内に返信
まだ誰も着手していません。
評価
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 初心者へのやさしさ
- 35/100
- issue の種類
- ドキュメント
- 明瞭さ
- おおむね明確
- 活発さ
- 停滞
調査の方向性
contributing.md から始め、参照されている CODEOWNERS ファイルがこのリポジトリに存在しないことを確認します。maintainer に実際のマージポリシーを確認してから、該当しないセクションを除き、リポジトリのポリシーを説明するよう contribution ガイドを更新します。
索引モデルが issue の本文から書いたものです。
説明
Contributing.md says
Our CODEOWNERS file associates a team of maintainers to each component.
etc, I guess copied from the coq/coq contributing.md, but stdlib has no codeowners file so this whole section is not applicable.
- 主要言語
- Rocq Prover
- スター
- 43
- フォーク
- 39
- 平均マージ
- 1日 13時間
- マージ済み PR（30日）
- 4
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートあり
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
rocq-prover/stdlib のほかの issue
-
incl_dec and NoDup_dec should be Defined and not Qed再び着手できるかも このイシューのプルリクエストはマージされずにクローズされました。 オープン
難易度 1/5 1〜3時間 初心者へのやさしさ 65/100
rocq-prover/stdlib#25 ·
メンテナーはふだん 2 日以内に返信
-
Reals: a constructive pi for the constructive Cauchy reals with a strong irrationality separation theorem (Leibniz series)対応中かも @hy7pc8gfmf-dotcom が 8 日前に担当しました。 オープン
難易度 5/5 1週間以上 初心者へのやさしさ 6/100
rocq-prover/stdlib#315 ·
メンテナーはふだん 2 日以内に返信
-
Reals: escape-window separation engine for the constructive Cauchy reals (abstract irrationality criterion)対応中かも このイシューにリンクされたプルリクエストがオープン中、またはマージ済みです。 オープン
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
rocq-prover/stdlib#312 ·
メンテナーはふだん 2 日以内に返信
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
rocq-prover/stdlib#293 ·
メンテナーはふだん 2 日以内に返信
-
Inconsistent OPAM packaging of rocq-stdlib対応中かも このイシューにリンクされたプルリクエストがオープン中、またはマージ済みです。 オープン
難易度 4/5 3〜5日 初心者へのやさしさ 42/100
rocq-prover/stdlib#256 · コメント 4 件 · リアクション 3 件 ·
メンテナーはふだん 2 日以内に返信
rocq-prover/stdlib の issue をすべて見る
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 77/100
TomerAberbach/profiler-md#733 ·
メンテナーはふだん 1 日以内に返信
-
effort:high model:sonnet phase:3 type:docs
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 64/100
aws-samples/sample-per-model-bedrock#295 ·
メンテナーはふだん 1 日以内に返信
-
help wanted stage/040-covered-by-pr
難易度 1/5 1時間未満 初心者へのやさしさ 68/100
hivecommons/hive#12777 · コメント 2 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 69/100
zephyrproject-rtos/reqmgmt#177 ·