Assorted shell and Python scripts

fix jq to exclude keyoxide_proof repo

Changed files
+1 -1
+1 -1
tildegit_backup
···
curl -s -k \
-u "hyperreal:${GITEA_TOKEN}" \
"${TILDEGIT_URL}/api/v1/user/repos?limit=100&page=1" |
-
jq '.[].name' |
tr -d '"' |
tee "${BACKUP_DIR}/repos.txt"
···
curl -s -k \
-u "hyperreal:${GITEA_TOKEN}" \
"${TILDEGIT_URL}/api/v1/user/repos?limit=100&page=1" |
+
jq '.[].name | select(.!="keyoxide_proof")' |
tr -d '"' |
tee "${BACKUP_DIR}/repos.txt"