Skip to content

store an optional github repo when publishing agents#82

Merged
peterj merged 2 commits intomainfrom
peterj/addgithubrepo
Dec 16, 2025
Merged

store an optional github repo when publishing agents#82
peterj merged 2 commits intomainfrom
peterj/addgithubrepo

Conversation

@peterj
Copy link
Copy Markdown
Contributor

@peterj peterj commented Dec 16, 2025

No description provided.

Signed-off-by: Peter Jausovec <peter.jausovec@solo.io>
Signed-off-by: Peter Jausovec <peter.jausovec@solo.io>
@peterj peterj force-pushed the peterj/addgithubrepo branch from d9a2a73 to 952cc37 Compare December 16, 2025 12:52
@peterj peterj merged commit f5e781c into main Dec 16, 2025
2 checks passed
christian-posta pushed a commit to christian-posta/agentregistry that referenced this pull request Mar 9, 2026
…ev#82)

Signed-off-by: Peter Jausovec <peter.jausovec@solo.io>
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