anaguib / blinky-blocks-formal-model

Git global setup:

git config --global user.name "Your name"
git config --global user.email "your@email.com"

Create Repository

mkdir blinky-blocks-formal-model
cd blinky-blocks-formal-model
git init
touch README
git add README
git commit -m 'first commit'
git remote add origin https://disc.univ-fcomte.fr/gitlab/antonios.naguib/blinky-blocks-formal-model.git
git push -u origin master

Existing Git Repo?

cd existing_git_repo
git remote add origin https://disc.univ-fcomte.fr/gitlab/antonios.naguib/blinky-blocks-formal-model.git
git push -u origin master