File tree Expand file tree Collapse file tree 1 file changed +0
-4
lines changed
Expand file tree Collapse file tree 1 file changed +0
-4
lines changed Original file line number Diff line number Diff line change 55main=master
66
77RELEASE_DIR=" /srv/http/domjudge/releases"
8- DOWNLOAD_RELEASE_SCRIPT=" "
98
109notify_channel () {
1110 # Local debug
@@ -39,9 +38,7 @@ process_tag () {
3938 # gpg --search 780355B5EA6BFC8235A99C4B56F61A79401DAC04
4039 # And if one trusts the internet to be correct
4140 # gpg --recv-keys 780355B5EA6BFC8235A99C4B56F61A79401DAC04
42- set +e # Some tags are not signed
4341 if git verify-tag $TAG ; then
44- set -e
4542 # At this point the tarball should already be locally tested
4643 ~ /domjudge-scripts/make_release.sh " $TAG "
4744 mv domjudge-$TAG .* $RELEASE_DIR /
@@ -57,7 +54,6 @@ cd ~domjudge/domjudge
5754git checkout $main
5855
5956while read -r tag; do
60- # echo "Handling tag: $tag"
6157 process_tag " $tag "
6258done <<< " $(git tag)"
6359
You can’t perform that action at this time.
0 commit comments