Skip to content

chore: sync projects.json - #37

Merged
TitusKirch merged 2 commits into
mainfrom
bot/sync-projects
Oct 12, 2026
Merged

TitusKirch merged 2 commits into
mainfrom
bot/sync-projects

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

Automated rebuild of projects.json from the curated entries under projects/ plus live GitHub repository metadata.

@github-actions
github-actions Bot enabled auto-merge (squash) October 12, 2026 15:47
@TitusKirch TitusKirch closed this Oct 12, 2026
auto-merge was automatically disabled October 12, 2026 21:24

Pull request was closed

@TitusKirch TitusKirch reopened this Oct 12, 2026
@TitusKirch
TitusKirch merged commit 8a0f740 into main Oct 12, 2026
6 checks passed
@github-actions
github-actions Bot deleted the bot/sync-projects branch October 12, 2026 21:27
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant