Skip to content

Conversation

meisterT
Copy link
Member

Instead of replicating what scoreboard refresh would do, replace our code with an explicit refresh.

Also add more explicit comments on what's happening.

Instead of replicating what scoreboard refresh would do, replace our
code with an explicit refresh.

Also add more explicit comments on what's happening.
@meisterT meisterT requested a review from nickygerritsen March 16, 2025 11:23
@meisterT meisterT added this pull request to the merge queue Mar 16, 2025
Merged via the queue into DOMjudge:main with commit 7fca175 Mar 16, 2025
36 checks passed
@meisterT meisterT deleted the rejstest branch March 16, 2025 12:06
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