Skip to content

[extension] Add Sanduq Progress Report extension to community catalog - #5300

Merged
mnriem merged 2 commits into
mainfrom
add-progress-extension-191552a560e9b2eb
Nov 6, 2026
Merged

mnriem merged 2 commits into
mainfrom
add-progress-extension-191552a560e9b2eb

Conversation

@github-actions

@github-actions github-actions Bot commented Nov 6, 2026

Copy link
Copy Markdown
Contributor

Summary

  • add new progress community extension entry to extensions/catalog.community.json in alphabetical order
  • add Sanduq Progress Report row to docs/community/extensions.md in alphabetical order
  • include computed archive checksum from validated download artifact

Validation results

All required checks completed and passed:

  • issue title format ([Extension]:)
  • extension ID format (progress)
  • version format (1.7.0 semver)
  • repository exists/public and contains extension.yml, README.md, and LICENSE
  • download URL pinned to submitted repository/tag and matches submitted version
  • archive download succeeded (HTTP 200)
  • submitted SHA-256 matched downloaded archive (b4c6677042bb1673784a7db701144636ecde0b299069788988d77f6f4dd23d92)
  • GitHub release exists for tag progress-v1.7.0
  • required submission/testing checklists are checked
  • catalog JSON validated successfully

Closes #5263

cc @samykabu

Generated by 🧩 Add Community Extension from Issue Submission for #5263 · copilot · gpt53codex · 34.6 AIC · ⌖ 0.705 AIC · ⊞ 27.1K · ◷

Add progress extension submitted by @samykabu to:
- extensions/catalog.community.json (alphabetical order)
- docs/community/extensions.md community extensions table

Closes #5263

Co-authored-by: Copilot <[email protected]>

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

🟢 Approval recommended

No active review issues are recorded for the catalog and documentation updates.

No open issues 🎉

What changed in this PR

Adds the Sanduq Progress Report extension to the community catalog and documentation with validated release metadata and checksum.

Changes:

  • Registers the progress extension and its release metadata in the community catalog.
  • Adds the extension to the community extensions documentation table.
  • Records the archive checksum and extension capabilities.
File Summary
extensions/​catalog.community.json Adds the Sanduq Progress Report entry; its category should be corrected from visibility to process to match the release manifest.
docs/​community/​extensions.md Adds the Sanduq Progress Report documentation row; its category should likewise be corrected to process.

This pull request requires changes.

Review effort: Lite (auto)

@mnriem
mnriem marked this pull request as ready for review November 6, 2026 18:34
@mnriem
mnriem self-requested a review as a code owner November 6, 2026 18:34
@mnriem
mnriem requested an auto review from Copilot November 6, 2026 18:34

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

🟡 Changes recommended

The pinned release manifest classifies the extension as process while the catalog and documentation use visibility, leaving an active classification inconsistency that requires correction.

1 open issue

Review effort: Lite (auto)

Comment thread extensions/catalog.community.json Resolved
Copilot AI auto review requested due to automatic review settings November 6, 2026 18:48

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

🟢 Approval recommended

No active review issues are identified in the supplied evidence; the catalog and documentation updates are consistent with the described extension registration.

1 open issue

Review effort: Lite (auto)

@mnriem mnriem added the triage-must-have Verdict: high-value, important work for Spec Kit — do first label Nov 6, 2026
@mnriem
mnriem merged commit c2174b5 into main Nov 6, 2026
22 checks passed
@mnriem
mnriem deleted the add-progress-extension-191552a560e9b2eb branch November 6, 2026 19:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automated extension-submission triage-must-have Verdict: high-value, important work for Spec Kit — do first

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Extension]: Add Sanduq Progress Report

3 participants