Skip to content

Conversation

@NikkiBytes
Copy link
Contributor

Prompts are generated at runtime for each server, however they were being skipped in the merge process. We added prompt merge handling in the server.py, where we follow the same consistent name and merge format that is done previously for the tool merge.

@NikkiBytes NikkiBytes merged commit 2edfb0d into main Dec 3, 2025
4 checks passed
@NikkiBytes NikkiBytes deleted the update-prompt-merge branch December 5, 2025 20:19
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.

3 participants