Workshop on the basics of git
Will be held on 29th of January in 5416.0057 from 13:00 to 17:00
https://myuniversity.rug.nl/infonet/medewerkers/intracom/calendar/workshop-introduction-git
This repository has been archived on 2023-11-08. You can view files and clone it, but cannot push or open issues or pull requests.
Go to file
Bastian 80006b39c5 added more info 2020-01-08 13:52:55 +00:00
README.md added more info 2020-01-08 13:52:55 +00:00
factorial.py initial commit 2020-01-08 12:45:39 +00:00
fibonacci.py initial commit 2020-01-08 12:45:39 +00:00

README.md

How to Git started

Set up git

Set up your git info

*** Please tell me who you are.

Run

  git config --global user.email "you@example.com"
  git config --global user.name "Your Name"

to set your account's default identity.
Omit --global to set the identity only in this repository.

If you want to save your https credentials run

git config --global credential.helper store
Omit --global to set the identity only in this repository.

Saving changes

unstage by using

use "git reset HEAD <file>..." to unstage

Track remote branch

git checkout --track origin/<branch>

Delete remote branch

git push <remote_name> --delete <branch_name>
git remote prune <remote_name>