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 5
5
main=master
6
6
7
7
RELEASE_DIR=" /srv/http/domjudge/releases"
8
- DOWNLOAD_RELEASE_SCRIPT=" "
9
8
10
9
notify_channel () {
11
10
# Local debug
@@ -39,9 +38,7 @@ process_tag () {
39
38
# gpg --search 780355B5EA6BFC8235A99C4B56F61A79401DAC04
40
39
# And if one trusts the internet to be correct
41
40
# gpg --recv-keys 780355B5EA6BFC8235A99C4B56F61A79401DAC04
42
- set +e # Some tags are not signed
43
41
if git verify-tag $TAG ; then
44
- set -e
45
42
# At this point the tarball should already be locally tested
46
43
~ /domjudge-scripts/make_release.sh " $TAG "
47
44
mv domjudge-$TAG .* $RELEASE_DIR /
@@ -57,7 +54,6 @@ cd ~domjudge/domjudge
57
54
git checkout $main
58
55
59
56
while read -r tag; do
60
- # echo "Handling tag: $tag"
61
57
process_tag " $tag "
62
58
done <<< " $(git tag)"
63
59
You can’t perform that action at this time.
0 commit comments