git push origin dev && git push github dev