From 287f537d547e91d4dfe3651f81a03179f173dcb3 Mon Sep 17 00:00:00 2001 From: Pierre-Yves Chibon Date: Apr 02 2014 08:04:42 +0000 Subject: Remove the get_repos.sh script which is no longer of use --- diff --git a/get_repos.sh b/get_repos.sh deleted file mode 100644 index 903379e..0000000 --- a/get_repos.sh +++ /dev/null @@ -1,20 +0,0 @@ -#!/bin/bash - -[ -d forks/pingou ] || mkdir -p forks/pingou - -pushd forks/pingou - for pkg in `pkgdb-cli list --user=pingou --nameonly`; - do - git clone --bare git://pkgs.fedoraproject.org/$pkg; - done; -popd - -[ -d repos ] || mkdir -p repos - -pushd repos - for pkg in `pkgdb-cli list --user=pingou --nameonly`; - do - git clone --bare git://pkgs.fedoraproject.org/$pkg; - done; -popd -