diff options
| author | Raghuram Subramani <raghus2247@gmail.com> | 2025-10-14 16:57:48 -0400 |
|---|---|---|
| committer | Raghuram Subramani <raghus2247@gmail.com> | 2025-10-14 16:57:48 -0400 |
| commit | 3a66d6dbce7f50728751eae3da8ffe58386ee68e (patch) | |
| tree | 485a3858ae02d53a5f81a0eae79c411a58ab5242 /sync-github | |
| parent | 635e0ce52d634445c3ae4e783b91363b478722df (diff) | |
Revert "clone-all-github->sync-github"
This reverts commit 635e0ce52d634445c3ae4e783b91363b478722df.
Diffstat (limited to 'sync-github')
| -rwxr-xr-x | sync-github | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/sync-github b/sync-github deleted file mode 100755 index 739f8db..0000000 --- a/sync-github +++ /dev/null @@ -1,29 +0,0 @@ -#!/usr/bin/env bash - -USER=compromyse -REPOS=$(curl https://api.github.com/users/$USER/repos 2>/dev/null) - -for i in $(seq 0 1 $(( $(echo $REPOS | jq length) - 1 ))); do - name=$(echo $REPOS | jq -r .[$i].name) - description=$(echo $REPOS | jq -r .[$i].description) - - repo=$name.git - - if [ ! -d $HOME/$repo ]; then - - git clone --bare https://github.com/$USER/$repo $HOME/$repo - - pushd $HOME/$repo > /dev/null - - for remote in $(git remote show); do - git remote remove $remote - git remote add github git@github.com:$USER/$repo - git fetch github - done - - echo "$description" > description - - popd > /dev/null - - fi -done |
