Pushing the local repository to a remote