git pull origin dev && git pull github dev