2 # A simple script to synchronise a fuzz test corpus
3 # with an external git repository.
5 # pull_and_push_fuzz_corpus.sh DIR
6 # It assumes that DIR is inside a git repo and push
7 # can be done w/o typing a password.
10 git commit -m "fuzz test corpus"
11 git pull --rebase --no-edit
12 for((attempt=0; attempt<5; attempt++)); do
13 echo GIT PUSH $1 ATTEMPT $attempt
14 if $(git push); then break; fi
15 git pull --rebase --no-edit