Skip to content

Update extensions.json#111

Closed
niels9001 wants to merge 1 commit into
mainfrom
niels9001-potential-goggles
Closed

Update extensions.json#111
niels9001 wants to merge 1 commit into
mainfrom
niels9001-potential-goggles

Conversation

@niels9001

Copy link
Copy Markdown
Contributor

Re-generated the extension gallery via generate.py.

  • 69 extensions included in the gallery
  • 1 extension skipped due to errors

Re-generated extension gallery via generate.py (69 extensions).

Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>
@niels9001
niels9001 enabled auto-merge (squash) July 11, 2026 09:21
@niels9001

Copy link
Copy Markdown
Contributor Author

Closing as a duplicate. The scheduled Regenerate Gallery workflow (#113) reuses a single PR and only opens one when gallery content actually changes.

@niels9001 niels9001 closed this Jul 12, 2026
auto-merge was automatically disabled July 12, 2026 11:21

Pull request was closed

@niels9001
niels9001 deleted the niels9001-potential-goggles branch July 12, 2026 11:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant