Skip to content

Conversation

@vmcj
Copy link
Member

@vmcj vmcj commented Nov 29, 2025

Otherwise DOMlogo can't get the data with local judgehosts against an online (non)ranked contest. The alternative of default allowing the judgedaemon is worse as it normally doesn't need those credentials so for this case you need to extend that user with API_READER, giving it JURY would give it much more access than we want.

@vmcj vmcj added this pull request to the merge queue Nov 30, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Nov 30, 2025
Otherwise DOMlogo can't get the data with local judgehosts against an online (non)ranked contest.
The alternative of default allowing the judgedaemon is worse as it normally doesn't need those credentials so
for this case you need to extend that user with API_READER, giving it JURY would give it much more access than we want.
@vmcj vmcj force-pushed the domlogo_online_no_ranking branch from e4e8847 to 7a77675 Compare November 30, 2025 10:58
@vmcj vmcj enabled auto-merge November 30, 2025 10:58
@vmcj vmcj added this pull request to the merge queue Nov 30, 2025
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