git push - from local Git to GitHub repository