From 27ac6c5d5bb6fe519f67c784bdb59681f58614ee Mon Sep 17 00:00:00 2001 From: MCJ Vasseur <14887731+vmcj@users.noreply.github.com> Date: Sun, 23 Nov 2025 18:33:34 +0100 Subject: [PATCH] Add reminder to add new releases to dependabot config --- new_release_howto.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/new_release_howto.md b/new_release_howto.md index 16b2d356..cd656d51 100644 --- a/new_release_howto.md +++ b/new_release_howto.md @@ -35,6 +35,8 @@ on the account `domjudge@vm-domjudge`): under `/srv/http/domjudge/docs/manual` by adding a new version to the file `versions.json` and updating the redirect destination in `index.html` and `team.html`. The documentation is regenerated once every hour. + 1. Add the new version to the dependabot configuration + [here](https://github.com/DOMjudge/domjudge/blob/main/.github/dependabot.yml). 1. Bump the Docker images by starting a new pipeline [here](https://gitlab.com/DOMjudge/domjudge-packaging/-/pipelines/new) and setting `DOMJUDGE_VERSION` to the version to release. Set `DOMJUDGE_LATEST`