@@ -18,10 +18,17 @@ on the account `domjudge@vm-domjudge`):
18
18
The tarball is placed in the current dir; check that it looks correct,
19
19
test e.g. by unpacking it and running
20
20
./configure && make build
21
+ 1 . Don't forget to push everything to the central Git repository
22
+ (especially the release tags, since these are not pushed by default),
23
+ e.g. with
24
+ ` git push origin ${TAG%.?} refs/tags/$TAG `
25
+ 1 . On the server the tarball will be rebuild and signed.
21
26
1 . If releasing from the master branch, create a new version branch:
22
- git checkout -b x.y
23
- git push --set-upstream origin x.y
24
- git checkout master
27
+ ``` {sh}
28
+ git checkout -b x.y
29
+ git push --set-upstream origin x.y
30
+ git checkout master
31
+ ```
25
32
1. Update files above to `{version+1}DEV` and commit.
26
33
1. Copy domjudge-$TAG.tar.gz* to `/srv/http/domjudge/releases/`
27
34
1. Update the DOMjudge homepage: commit changes in the `domjudge-scripts`
@@ -32,8 +39,4 @@ on the account `domjudge@vm-domjudge`):
32
39
The documentation is regenerated once every hour.
33
40
1. Bump the docker containers and build Debian packages (or make someone
34
41
do this).
35
- 1. Send an email to
[email protected] .
36
- 1. Don't forget to push everything to the central Git repository
37
- (especially the release tags, since these are not pushed by default),
38
- e.g. with
39
- git push origin ${TAG%.?} refs/tags/$TAG
42
+ 1. Send an email to `[email protected] `.
0 commit comments