Cloning

git clone https://projects.ewi.tudelft.nl/git/<reposname>.git

If you want to clone it in the current directory, use the following syntax:

git clone https://projects.ewi.tudelft.nl/git/<reposname>.git .

Pushing

If you push your repository for the first time, you have to add the remote and branch:

git push origin master

after that you can push the master branch on the given remote by just typing:

git push

For pushing a local git repository to a new created git repos on the server:

cd <existing git repo>
git remote add origin https://projects.ewi.tudelft.nl/git/<reposname>.git
git push origin master

Showing your remotes

Show the available remote shortcuts:

git remote

Show the shortcut and the full server name:

git remote -v

About git

see: Git doc