Avoid cloning repositories every time.

Signed-off-by: Nicolás Ortega Froysa <nicolas@ortegas.org>
This commit is contained in:
Nicolás A. Ortega Froysa 2024-05-01 10:54:26 +02:00
parent a5d1868b8c
commit a44951bbd3

View File

@ -15,14 +15,15 @@ do
if [ -d "$NAME" ] if [ -d "$NAME" ]
then then
rm -r $NAME cd $NAME
git remote update
else
git clone --mirror $ORIG
cd $NAME
fi fi
git clone --mirror $ORIG
cd $NAME
git push --mirror $DEST git push --mirror $DEST
cd .. cd ..
rm -r $NAME
echo "Done." echo "Done."
done <./repo-list done <./repo-list