how to push code to github using command line