geimskip-plugins-peers/mirror-repos.sh

#!/bin/sh

# ---------- ---------- ---------- ---------- ---------- ----------
#NOTE:  username and ampersand
#       xor
#       neither the username nor ampersand
# ---------- ---------- ---------- ---------- ---------- ----------

mirror() {
    mirrorsh=./make/mirror-repo.sh
    output=./src/$1
    remote=$2
    ${mirrorsh} ${output} ${remote}
}

${url}=https://foo.bar/

echo "Configure some mirror if available."

#mirror peers ${url}peers.git
#mirror peers-bounty-hunts ${url}peers-bounty-hunts.git
#mirror peers-mirrors ${url}peers-mirrors.git
#mirror peerskart ${url}peerskart.git
#mirror librepup-website ${url}librepup-website.git