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
# 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