Skip to content

add UI for configuring skills from git repos#1747

Merged
EItanya merged 3 commits intomainfrom
peterj/gitskills
Apr 27, 2026
Merged

add UI for configuring skills from git repos#1747
EItanya merged 3 commits intomainfrom
peterj/gitskills

Conversation

@peterj
Copy link
Copy Markdown
Collaborator

@peterj peterj commented Apr 24, 2026

  • adds the UI to configure git skills
  • fixes an issue with configuring skills that use path names -- it uses the folder where the SKILL.md is as the first folder under the /skills folder in the container vs. the name of the repo
  • changes the permissions of the cloned skill (otherwise we get permission denied when agent tries to load the skill file)

fixes #1731

@chromatic-com
Copy link
Copy Markdown

chromatic-com Bot commented Apr 24, 2026

Tip

All tests passed and all changes approved!

🟢 UI Tests: 8 visual and accessibility changes accepted as baselines
🟢 UI Review: Approved by Peter Jausovec
Storybook icon Storybook Publish: 115 stories published

peterj added 2 commits April 27, 2026 08:57
Signed-off-by: Peter Jausovec <peter.jausovec@solo.io>
Signed-off-by: Peter Jausovec <peter.jausovec@solo.io>
@peterj peterj force-pushed the peterj/gitskills branch 3 times, most recently from 41f5fd5 to de84011 Compare April 27, 2026 17:04
Signed-off-by: Peter Jausovec <peter.jausovec@solo.io>
@peterj peterj force-pushed the peterj/gitskills branch from de84011 to f143778 Compare April 27, 2026 17:13
@EItanya EItanya merged commit 3eaf3be into main Apr 27, 2026
24 checks passed
@EItanya EItanya deleted the peterj/gitskills branch April 27, 2026 18:53
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.

[FEATURE] allow configuring github skills from the UI

2 participants