Please see below a quick guide how to use our https://git.ist.ac.at/ system.

Create your key

This has to be done on the system you want to use the repository.

ssh-keygen -t ed25519 -C "email@example.com"

Only keys for git are allowed without passwords.

Upload the public key to https://git.ist.ac.at/profile/keys

Change ~/.ssh/config

Add this to the config for specific key:

## git.ist.ac.at
Host git.ist.ac.at
  Preferredauthentications publickey
  IdentityFile ~/.ssh/whatever_private_key_you_want_to_use

How to work with the repository

General settings:

• git config --global user.email "[your email]" <– set your email address (e.g. firstname.lastname@ist.ac.at)
• git config --global user.name "[your name]" <– set your name (e.g. “Firstname Lastname”)
• git config --global color.ui auto <– more color 😉

Checkout (clone) the repository to your local machine

git clone git@git.ist.ac.at:[my_repository].git

(it will be checked-out into a folder called [my_repository])

Adding/Changing

Just edit, add or remove within your checked-out local repository, then:

1. git add -A <– adds all changes to the repository
2. git commit -m "Changes to my_files/folders" <– commits these changes with a message
3. git push origin master <– pushes the changes to the server (master is the current – only – branch)

Updating your local tree

To update/incorporate all changes from up-stream (=others), just:

git pull

More information about git

• git – the simple guide – https://rogerdudler.github.io/git-guide/
• github-git-cheat-sheet – https://github.github.com/training-kit/downloads/github-git-cheat-sheet.pdf
• Offical documentation for git – https://git-scm.com/docs