merge github branch push clone gitlab checkout git pull
See more