From 066251c9bb5e256ec49b24df4958316b7a838956 Mon Sep 17 00:00:00 2001 From: alex Date: Sat, 14 Dec 2024 20:03:37 -0800 Subject: [PATCH] updated using git-extra --- todo | 32 +------------------------------- 1 file changed, 1 insertion(+), 31 deletions(-) diff --git a/todo b/todo index 868d594..adf8189 100644 --- 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 -- 2.39.5