#!/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