bfb7f571efd968a0a9ed646139db3d27d898e071
[releases.git] / check-release
1 #! /bin/bash
2
3 # Copyright 2021 Alexandre Oliva <lxoliva@fsfla.org>
4 #
5 # This program is part of GNU Linux-libre, a GNU project that
6 # publishes scripts to clean up Linux so as to make it suitable for
7 # use in the GNU Project and in Free System Distributions.
8 #
9 # This program is free software; you can redistribute it and/or modify
10 # it under the terms of the GNU General Public License as published by
11 # the Free Software Foundation; either version 3 of the License, or
12 # (at your option) any later version.
13 #
14 # This program is distributed in the hope that it will be useful, but
15 # WITHOUT ANY WARRANTY; without even the implied warranty of
16 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
17 # General Public License for more details.
18 #
19 # You should have received a copy of the GNU General Public License
20 # along with this program; if not, write to the Free Software
21 # Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301
22 # USA
23
24
25 # This is a one-shot script that we used when transitioning to
26 # git-based releases.  IIRC it double-checked scripts and tarballs
27 # against the preexisting git repo from Jason Self, and added our own
28 # signatures.
29
30
31 archive=$HOME/linux-libre/releases # $(ls -d /media/p0?/linux-libre-releases)
32 key=474402C8C582DAFBE389C427BCB7CF877E7D47A7
33 pubase=public/logs/v5.6-gnu
34 tmp=. # /tmp/prep
35
36 success=:
37
38 for tag
39 do
40   rel=${tag##jxself/v}
41   rup=${rel%%-[gl][ni][ub]*}
42
43   git rev-parse --verify -q incr/v$rel &&
44   git rev-parse --verify -q public/sources/v$rel &&
45   git rev-parse --verify -q public/logs/v$rel &&
46   continue
47
48  (if test ! -d $archive/$rel; then
49     echo $archive/$rel/ does not exist >& 2
50     exit 1
51   fi &&
52
53   tb=$archive/$rel/linux-libre-$rel &&
54   tar=$tb.tar.bz2 &&
55   trd=linux-$rup &&
56
57   tagid=$(git rev-parse $tag) &&
58   noteid=$(echo $tagid | sed 's,^..,&/,') &&
59   git rev-parse --verify -q stable/v$rup &&
60
61   DATE=$(git cat-file -p $tagid |
62              gawk '/^(author|tagger)/ {
63                         print strftime(PROCINFO["strftime"], $(NF-1))
64                    }') &&
65   export GIT_COMMITTER_DATE=$DATE GIT_AUTHOR_DATE=$DATE &&
66
67   test -f $tb.log &&
68   test -f notes/logs/$noteid &&
69   test -f notes/tars/$noteid &&
70   diff -b $tb.log notes/logs/$noteid &&
71
72   git archive --format tar --prefix=linux-libre-$rel/ $tag |
73   gpg -q --verify notes/tars/$noteid - &&
74
75   git worktree add --detach log-$rel $pubase &&
76
77   cd log-$rel &&
78   git rm -f linux* &&
79   cp -p $tb.log $tb.tar.sign . &&
80   cp ../notes/tars/$noteid $(basename $tb).git.tar.sign &&
81   git add linux* &&
82   git commit --amend --reset-author -S$key -m "GNU Linux-libre $rel logs" &&
83   cd .. &&
84
85   gpg -q --verify $tar.sign &&
86
87   git worktree add --detach $tmp/$trd master &&
88   rm -f $tmp/$trd/* &&
89
90  (cd $tmp/$trd &&
91   git reset -q $tag &&
92   tar -xf $tar -C .. &&
93
94   if git status -su | grep .; then
95     exit 1
96   fi &&
97
98   git reset --soft stable/v$rup &&
99   git commit -m "GNU Linux-libre $rel incremental" &&
100
101   git tag -f incr/v$rel &&
102
103   git fetch file://$(pwd) refs/tags/$tag:refs/tags/public/sources/v$rel
104  ) &&
105
106   git worktree remove $tmp/$trd &&
107
108   cd log-$rel &&
109   git tag -f -m "GNU Linux-libre $rel logs" -s -u $key public/logs/v$rel &&
110   cd .. &&
111   git worktree remove log-$rel
112
113  ) || { echo $tag failed >&2; success=false; }
114 done
115
116 $success