Pull requests: DOMjudge/domjudge-scripts

Pull requests list

Added missing package for domserver install / domjudge run inplace-conf

#192 by BHenkemans was merged Sep 16, 2025

Cherry-pick changes to turboboost script

#191 by meisterT was merged Jul 31, 2025

Disable efficiency cores

#190 by vmcj was merged Jul 30, 2025

added installation of OpenJDK17

#186 by BHenkemans was merged May 12, 2025

Add option to configure NGINX real ip

#185 by Kevinjil was merged May 12, 2025

Changed handlers to use import_task instead of include

#182 by BHenkemans was merged May 6, 2025

Add some more "netiquette" rules for on slack

#180 by eldering was merged Apr 6, 2025

Prevent indexing of DOMjudge instance

#179 by vmcj was merged Nov 21, 2024

Better pin frequency

#178 by vmcj was merged Oct 25, 2024

Configure rsyslog to push to promtail

#177 by Kevinjil was merged Mar 18, 2025

Make sure tune_cpu gets started

#176 by vmcj was merged Sep 25, 2024

Scriptserver

#174 by vmcj was merged Sep 12, 2024

Small fixes

#173 by vmcj was merged Sep 12, 2024

Multiple remotes

#172 by vmcj was merged Sep 12, 2024

Use the host repositories on setups we install

#171 by vmcj was merged Sep 12, 2024

Add tmux-cssh as replacement for clusterssh

#170 by vmcj was closed Sep 17, 2024

Add tmux-cssh as replacement for clusterssh

#169 by vmcj was merged Sep 12, 2024

Docker and GlitchTip ansible roles

#168 by Kevinjil was merged Mar 18, 2025

Set DOMserver IPs

#167 by vmcj was merged Sep 12, 2024

Add tree to default packages.

#166 by meisterT was merged Sep 3, 2024

Gather the log entries together with the metric

#165 by vmcj was merged Sep 3, 2024

EOC has little todo with provisioning the contest

#164 by vmcj was merged Sep 18, 2024

Don't upgrade packages with ansible

#163 by vmcj was merged Sep 3, 2024

Document the vendor snapshot

#162 by vmcj was merged Sep 2, 2024

Split for WF setups

#161 by vmcj was merged Sep 2, 2024

ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.

Navigation Menu

Search code, repositories, users, issues, pull requests...

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Pull requests: DOMjudge/domjudge-scripts

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Pull requests list