Tirez de github à local

# if repo already exists in local
git checkout develop
git pull origin develop

# To pull new repo from remote
git init
git pull repo-link
Sriram MK