Skip to content

Conversation

meisterT
Copy link
Member

@meisterT meisterT commented Sep 6, 2025

…a the API.

This is already possible by requesting a specific submissions; this will make it more consistent.

(cherry picked from commit a24340f)

…a the API.

This is already possible by requesting a specific submissions; this will
make it more consistent.

(cherry picked from commit a24340f)
@meisterT meisterT enabled auto-merge September 6, 2025 05:36
@meisterT meisterT added this pull request to the merge queue Sep 6, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Sep 6, 2025
@meisterT meisterT added this pull request to the merge queue Sep 7, 2025
Merged via the queue into DOMjudge:main with commit 360aee6 Sep 7, 2025
36 of 37 checks passed
@meisterT meisterT deleted the cherry_jh_api_perm branch September 7, 2025 13:59
Comment on lines +458 to +459
if (!$request->attributes->has('id') && !$request->query->has('ids') &&
!($this->dj->checkrole('admin') || $this->dj->checkrole('judgehost'))) {
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think the ! can be extracted further which makes it easier to read. And maybe admin should get the judgehost role implicit?

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