Instantiating a git repository

Info

Copied (and slightly edited) from GitLab (gitgud.io) instructions given after project creation

Local setup

Configure your Git identity locally to use it only for this project:

git config --local user.name "user"
git config --local user.email "user@domain.com"

Add files

How to use SSH keys

Create a new repository

git clone git@ssh.gitgud.io:user/repo.git
cd repo
git switch --create master
touch README.md
git add README.md
git commit -m "add README"
git push --set-upstream origin master

Push an existing folder

cd existing_folder
git init --initial-branch=master
git remote add origin git@ssh.gitgud.io:user/repo.git
git add .
git commit -m "Initial commit"
git push --set-upstream origin master

Push an existing Git repository

cd existing_repo
git remote rename origin old-origin
git remote add origin git@ssh.gitgud.io:user/repo.git
git push --set-upstream origin --all
git push --set-upstream origin --tags