Skip to content

[extension] Add Tasks to GitHub Project extension to community catalog#3090

Merged
mnriem merged 2 commits into
mainfrom
add-tasks-to-project-extension-24b132317d3d3f35
Jun 22, 2026
Merged

[extension] Add Tasks to GitHub Project extension to community catalog#3090
mnriem merged 2 commits into
mainfrom
add-tasks-to-project-extension-24b132317d3d3f35

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Add the tasks-to-project community extension submitted by @mancioshell.

Summary

  • Extension: Tasks to GitHub Project (tasks-to-project v0.2.0)
  • Author: Alessandro Mancini (@mancioshell)
  • Category: integration — synchronizes Spec Kit tasks with GitHub Projects (v2)
  • Effect: read-write — creates and updates project cards, issues, and labels

Changes

  • extensions/catalog.community.json — new entry added in alphabetical order (between sync and team-assign)
  • docs/community/extensions.md — new row added in alphabetical order (between "Superspec" and "Team Assign")

Validation Results

Check Result
Extension ID format (^[a-z][a-z0-9-]*$) tasks-to-project
Version format (semver X.Y.Z) 0.2.0
Repository publicly accessible https://github.com/mancioshell/spec-kit-tasks-to-project
extension.yml present
README.md present
LICENSE file present
GitHub release v0.2.0 exists
Download URL pattern valid archive/refs/tags/v0.2.0.zip
Testing checklist all checked
Submission requirements all checked

Closes #3082

cc @mancioshell

Generated by 🧩 Add Community Extension from Issue Submission for issue #3082 · 470.4 AIC · ⌖ 103.6 AIC · ⊞ 34.4K ·

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

Closes #3082

Assisted-by: GitHub Copilot (model: claude-sonnet-4.6, autonomous)
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@mnriem mnriem requested a review from Copilot June 22, 2026 15:55
@mnriem mnriem marked this pull request as ready for review June 22, 2026 15:55
@mnriem mnriem self-requested a review as a code owner June 22, 2026 15:55
mnriem
mnriem previously approved these changes Jun 22, 2026

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.

Pull request overview

Adds the tasks-to-project (“Tasks to GitHub Project”) community extension to Spec Kit’s community catalog and documentation so it can be discovered and installed by users.

Changes:

  • Add a new tasks-to-project entry to extensions/catalog.community.json (including metadata, requirements, and provided commands/hooks).
  • Add a corresponding row to the community extensions table in docs/community/extensions.md.
  • Update the catalog timestamp (and, as part of the diff, reserialize/normalize other catalog content).
Show a summary per file
File Description
extensions/catalog.community.json Adds the tasks-to-project catalog entry and updates the catalog timestamp (also includes broader catalog reserialization changes).
docs/community/extensions.md Adds a new row for “Tasks to GitHub Project” in the community extensions table.

Copilot's findings

Tip

Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

  • Files reviewed: 2/2 changed files
  • Comments generated: 2

Comment thread extensions/catalog.community.json
Comment thread extensions/catalog.community.json Outdated
Restore extensions/catalog.community.json to upstream content and add only
the tasks-to-project entry, removing the unrelated Unicode-escape and
tool-object expansion churn across the catalog. Drop the git tool from the
entry's requirements to match the published extension.yml (gh + python3).

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@mnriem mnriem merged commit 85d59d2 into main Jun 22, 2026
12 checks passed
@mnriem mnriem deleted the add-tasks-to-project-extension-24b132317d3d3f35 branch June 22, 2026 16:11
@mnriem

mnriem commented Jun 22, 2026

Copy link
Copy Markdown
Collaborator

Thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Extension]: Add Tasks to GitHub Project

2 participants