how to push vscode to github