updated using git-extra

diff --git a/todo b/todo
index f5f3b3c1d6950aee34b901f9ba2afc4fa7e2b454..81238c60daf3629ecfe56badfe09151591304488 100644 (file)
--- a/todo
+++ b/todo
@@ -1,4 +1,5 @@
 To Do:
+-name
 -manifest
 -create script/program
        -args: [server, directory]
@@ -6,5 +7,28 @@ To Do:
                -mirror all new repos
                -fetch all others
        -this will serve as backups of ia.org
+
+cat > /repos/fetch.sh << EOF
+#!/usr/bin/env bash
+
+set -euo pipefail
+
+REPOS=(\$(cat ~/.repos))
+for REPO in "\${REPOS[@]}"; do
+       if [[ ! -d "\$REPO" ]]; then
+               git clone --mirror "$REMOTE\$REPO" \$REPO
+               echo "\$REPO" > "/repos/\$REPO/description"
+               cd "\$REPO"
+               git update-server-info
+               cd ..
+       else
+               cd "\$REPO"
+               git fetch --prune --prune-tags
+               git update-server-info
+               cd ..
+       fi
+done
+EOF
+
 -tests
        -copy lots from git-extra