diff options
Diffstat (limited to '')
| -rwxr-xr-x | git/bin/git-repo-repack | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/git/bin/git-repo-repack b/git/bin/git-repo-repack index d9d7357..0d3c106 100755 --- a/git/bin/git-repo-repack +++ b/git/bin/git-repo-repack @@ -1,5 +1,24 @@ #!/bin/sh +# Open Infrastructure: service-tools + +# Copyright (C) 2014-2021 Daniel Baumann <daniel.baumann@open-infrastructure.net> +# +# SPDX-License-Identifier: GPL-3.0+ +# +# 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, see <https://www.gnu.org/licenses/>. + set -e case "${1}" in |