Skip to content

[extension] Add OpenProject Integration extension to community catalog - #4893

Merged
mnriem merged 1 commit into
mainfrom
community/4887-add-openproject-extension-a3e74fc224a87fbf
Oct 9, 2026
Merged

mnriem merged 1 commit into
mainfrom
community/4887-add-openproject-extension-a3e74fc224a87fbf

Conversation

@github-actions

@github-actions github-actions Bot commented Oct 9, 2026

Copy link
Copy Markdown
Contributor

Adds the OpenProject Integration community extension submitted in #4887 to the catalog and documentation table, including the computed SHA-256 digest and MCP tool dependency metadata.

Validation completed:

  • Extension ID and version formats passed.
  • Repository is publicly accessible and contains the submitted extension manifest, README, and LICENSE in the extension package, with the repository README also present.
  • Download URL is repository-owned, tag-pinned to extension-v0.1.0, returned HTTP 200, and the matching GitHub release exists.
  • Submitted SHA-256 matched the downloaded archive: 68011188bd41cfd98f8ea1590a3a7a63862696eede938bb17c6652745ba2f2a4.
  • Submission checklists are complete.
  • Catalog JSON validation passed; catalog and documentation entries are alphabetically placed.

Closes #4887
cc @ringind

This PR was prepared autonomously by GitHub Copilot (gpt-5.2-codex).

Generated by 🧩 Add Community Extension from Issue Submission for #4887 · copilot · gpt52codex · 4.25 AIC · ⌖ 0.688 AIC · ⊞ 25K · ◷

Add openproject extension submitted by @ringind to:

- extensions/catalog.community.json (alphabetical order)

- docs/community/extensions.md community extensions table

Closes #4887

Assisted-by: GitHub Copilot (model: gpt-5.2-codex, autonomous)

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@github-actions github-actions Bot mentioned this pull request Oct 9, 2026
11 tasks done
@mnriem
mnriem marked this pull request as ready for review October 9, 2026 14:41
@mnriem
mnriem self-requested a review as a code owner October 9, 2026 14:41
Copilot AI balanced review requested due to automatic review settings October 9, 2026 14:41

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

Metadata matches the submission and release, ordering is correct, and the catalog remains valid JSON.

0 open findings

What changed in this PR

Adds the OpenProject Integration extension to the community catalog.

Changes:

  • Adds validated extension metadata, checksum, requirements, and capabilities.
  • Adds the extension to the alphabetized documentation table.
File Description
extensions/​catalog.community.json Adds the OpenProject catalog entry and refreshes the timestamp.
docs/​community/​extensions.md Documents the extension in alphabetical order.

🧠 Review effort: Balanced


💡 Configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

@mnriem
mnriem merged commit 34d460f into main Oct 9, 2026
18 checks passed
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 openproject

2 participants