push file to github vscode