Initializing a git repository and pushing to GitHub