Accelerate github clone by using mirror

github-fast-clone.sh

# Clone github repo
# Usage:
#
# $ chmod +x ./github-fast-clone.sh
# $ ./github-fast-clone <user/repo>
#!/bin/bash
MIRROR=https://hub.fastgit.org/
GIT_HTTP_CONNECT_TIMEOUT=60
DEPTH=3

set +e

if [ $# -ge 1 ]; then
    git clone https://github.com/$1 --depth $DEPTH
    if [[ $? -ne $(expr 0) ]]; then 
        # In case of bad internet connection, use mirror
        echo "Connection failed, using mirror"
        git clone https://hub.fastgit.org/$1 --depth $DEPTH
    fi

else
    echo "Usage: ./git-fast-clone <user/repo>"
fi