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 ""

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:

Checkout (clone) the repository to your local machine

git clone :[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?