32338a4aea7aee90f66b3e3e531acd21c82e719d — Jan Baudisch 4 years ago 2f29680
remove license text from tool
1 files changed, 0 insertions(+), 20 deletions(-)

M git-mirror
M git-mirror => git-mirror +0 -20
@@ 1,21 1,5 @@

# git-mirror - a tool for mirroring a remote git repository to another one.
# Copyright (C) 2020 Jan Baudisch

# 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
# 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 <http://www.gnu.org/licenses/>.

help() {
    echo "git-mirror"
    echo ""

@@ 31,10 15,6 @@ help() {
    echo "    git-mirror update [path]"
    echo "        Updates the mirror repository with the primary. Only works if the given directory was set up with this tool."
    echo "        path - The directory which was set up using the setup command."
    echo ""
    echo "git-mirror Copyright (C) 2020 Jan Baudisch"
    echo "This program comes with ABSOLUTELY NO WARRANTY."
    echo "This is free software, and you are welcome to redistribute it under certain conditions; see the license for details."

check_git() {