Skip to content

Report simulation server status, including allowed repositories#37

Draft
omichel wants to merge 1 commit intomainfrom
fix-simulation-server-status-report
Draft

Report simulation server status, including allowed repositories#37
omichel wants to merge 1 commit intomainfrom
fix-simulation-server-status-report

Conversation

@omichel
Copy link
Copy Markdown
Member

@omichel omichel commented Apr 15, 2026

A session server could serve a simulation server which is not allowed to checkout the requested repository.

This PR fixes this bug.

@omichel omichel self-assigned this Apr 15, 2026
@omichel omichel added the bug Something isn't working label Apr 15, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Development

Successfully merging this pull request may close these issues.

1 participant