blob: 05c322c6e5bfeb3bc890ea16745b9e727b63bdad [file] [log] [blame]
# A simple script to synchronise a fuzz test corpus
# with an external git repository.
# Usage:
# 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