Permalink
Switch branches/tags
Nothing to show
Find file
Fetching contributors…
Cannot retrieve contributors at this time
14 lines (10 sloc) 158 Bytes
#!/bin/bash
#
# github has it's bad days - so lets just do several tries
#
for i in 1 2 3 4 5 ; do
git pull
if [ $? -eq 0 ]; then
break
fi
done