1. Home
  2. Docs
  3. IT Documentation
  4. IT Services
  5. Using GIT at IST Austria

Using GIT at IST Austria

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])


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

Was this article helpful to you? Yes No

How can we help?