really fix the pull script

2 jobs for master in 6 minutes and 14 seconds (queued for 45 seconds)