add github timeout values to do_checkout.sh and do_pull.sh