updated using git-extra

diff --git a/todo b/todo
index 868d59405bb15808a0f8b97c2ea9480d7c99693e..adf818989ee656642f63406ace11f8f4c8bdb0a7 100644 (file)
--- a/todo
+++ b/todo
@@ -1,34 +1,4 @@
 To Do:
--create script/program
-       -args: [server, directory]
-       -check if directory is a git repo
-               -git -C [TARGET] rev-parse
-       -pull all repos
-               -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
-
+*build
 -tests
        -copy lots from git-extra