Repository navigation
[extension] Add Sanduq Progress Report extension to community catalog #5269
Description
Summary
Adds a new community extension entry for Sanduq Progress Report (progress) to:
extensions/catalog.community.json(alphabetical by extension ID)docs/community/extensions.md(alphabetical by extension name)
Validation results
All required checks completed and passed:
- Issue title starts with
[Extension]: - Extension ID format valid (
progress) - Version format valid (
1.7.0semver) - Repository is public and accessible (
https://github.com/samykabu/sanduq) - Repository contains
extension.yml,README.md, andLICENSE - Download URL belongs to submitted repository and matches accepted pinned release pattern
- Download URL tag (
progress-v1.7.0) matches submitted version (1.7.0) - Download URL fetched successfully (HTTP 200)
- SHA-256 checksum verified against submitted checksum (
b4c6677042bb1673784a7db701144636ecde0b299069788988d77f6f4dd23d92) - GitHub release exists for tag
progress-v1.7.0 - Testing Checklist and Submission Requirements checkboxes are all checked
Closes #5263
cc @samykabu
Note
This was originally intended as a pull request, but the git push operation failed.
Original error: The process '/usr/bin/git' failed with exit code 1
Workflow Run: View run details and download bundle artifact
The bundle file is available in the agent artifact in the workflow run linked above.
Create the pull request manually
# Download the artifact from the workflow run
gh run download '42061049329' -n agent -D '/tmp/agent-42061049329'
# Resolve the bundle source ref, fetch it into a temporary ref, then create the local branch
bundle_path='/tmp/agent-42061049329/aw-add-progress-extension.bundle'
temp_ref='refs/bundles/create-pr-add-progress-extension-0fdf99f646fe493f-610c5e27'
target_ref='refs/heads/add-progress-extension-0fdf99f646fe493f'
bundle_source_ref=$(git bundle list-heads "$bundle_path" | awk '$2 ~ /^refs\/heads\// { print $2 }')
if [ -z "$bundle_source_ref" ]; then
bundle_source_ref=$(git bundle list-heads "$bundle_path" | awk '$2 == "HEAD" { print $2 }')
fi
if [ "$(printf '%s\n' "$bundle_source_ref" | sed '/^$/d' | wc -l | tr -d ' ')" != "1" ]; then
echo "Expected exactly one bundle source ref, found: $bundle_source_ref" >&2
exit 1
fi
git fetch "$bundle_path" "${bundle_source_ref}:${temp_ref}"
git update-ref "$target_ref" "$temp_ref"
git checkout 'add-progress-extension-0fdf99f646fe493f'
# Ensure the working tree matches the updated branch
git reset --hard
# Remove the temporary bundle ref
git update-ref -d "$temp_ref"
# Push the branch to the target remote
git push 'origin' 'add-progress-extension-0fdf99f646fe493f'
# Create the pull request
gh pr create --title '[extension] Add Sanduq Progress Report extension to community catalog' --base 'main' --head 'add-progress-extension-0fdf99f646fe493f' --repo 'github/spec-kit'Generated by 🧩 Add Community Extension from Issue Submission for #5263 · copilot · gpt53codex · 35.1 AIC · ⌖ 0.782 AIC · ⊞ 28.5K · ◷
Activity
github-actions commentedon Nov 5, 2026
cc @github/spec-kit-maintainers — new catalog submission for review.
github-actions commentedon Nov 5, 2026
The extension-submission workflow stopped before validation because the issue title does not start with
[Extension]:.Workflow run