If you have an existing git repository and you want to add your GitLab repository as a remote repository and start committing, run the following commands:
cd existing_repogit remote add origin git@gitlab.com:your_username/monoROT13.gitgit push -u origin --allgit push -u origin --tags