#!/bin/bash | |
# A simple script to synchronise a fuzz test corpus | |
# with an external git repository. | |
# Usage: | |
# pull_and_push_fuzz_corpus.sh DIR | |
# It assumes that DIR is inside a git repo and push | |
# can be done w/o typing a password. | |
cd $1 | |
git add * | |
git commit -m "fuzz test corpus" | |
git pull --rebase --no-edit | |
for((attempt=0; attempt<5; attempt++)); do | |
echo GIT PUSH $1 ATTEMPT $attempt | |
if $(git push); then break; fi | |
git pull --rebase --no-edit | |
done | |