license added to a legacy script

diff --git a/check-release b/check-release
index 0ee38f7d6f517baf93f2a3fb77c511c9073c39d9..bfb7f571efd968a0a9ed646139db3d27d898e071 100755 (executable)
--- a/check-release
+++ b/check-release
@@ -1,4 +1,33 @@
 #! /bin/bash
+
+# Copyright 2021 Alexandre Oliva <lxoliva@fsfla.org>
+#
+# This program is part of GNU Linux-libre, a GNU project that
+# publishes scripts to clean up Linux so as to make it suitable for
+# use in the GNU Project and in Free System Distributions.
+#
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 3 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+# General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# along with this program; if not, write to the Free Software
+# Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301
+# USA
+
+
+# This is a one-shot script that we used when transitioning to
+# git-based releases.  IIRC it double-checked scripts and tarballs
+# against the preexisting git repo from Jason Self, and added our own
+# signatures.
+
+
 archive=$HOME/linux-libre/releases # $(ls -d /media/p0?/linux-libre-releases)
 key=474402C8C582DAFBE389C427BCB7CF877E7D47A7
 pubase=public/logs/v5.6-gnu