Skip to content

Update extensions.json#110

Closed
niels9001 wants to merge 1 commit into
mainfrom
niels9001-update-extensions-json
Closed

Update extensions.json#110
niels9001 wants to merge 1 commit into
mainfrom
niels9001-update-extensions-json

Conversation

@niels9001

Copy link
Copy Markdown
Contributor

Regenerate extensions.json gallery from extension metadata.

This PR was auto-generated by running .github/scripts/generate.py.

Regenerate gallery from extension metadata.

Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>

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

Regenerates the extension gallery index (extensions.json) from extension metadata, updating the generation timestamp and adding the latest extension entry.

Changes:

  • Updated generatedAt timestamp to reflect the latest gallery regeneration.
  • Increased extensionCount from 68 to 69 (verified to match the number of extension entries).
  • Added the new extension entry tonythethompson.quickshell (“Quick Shell”) with its metadata and asset URLs.

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

@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-update-extensions-json 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.

2 participants