$ cd gitdir

$ git clone https://git.example.com/project/repo.git

##</code><code>##

$ cd gitdir/repo

$ git remote -v
origin https://git.example.com/project/repo.git (fetch)
origin https://git.example.com/project/repo.git (push)

$ git remote set-url origin https://username@git.example.com/project/repo.git

$ git remote -v
origin https://username@git.example.com/project/repo.git (fetch)
origin https://username@git.example.com/project/repo.git (push)

##</code><code>##

$ git status

##</code><code>##

$ git add ...

$ git commit ...

$ git push

##</code><code>##

# Create a branch
$ git branch branch_name

# Create a branch and switch to it
$ git switch -c branch_name

# Switch to an existing branch
$ git switch branch_name

# Publish a new branch (now appears in GitLab UI)
$ git push -u origin branch_name

# Tag a release (as "v1.000")
$ git tag -a 'v1.000' -m '...'

# Publish a new tag (now appears in GitLab UI)
$ git push origin 'v1.000'