merge github branch push clone gitlab checkout git pull
Tout plus