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
2020-01-08 16:32:58 +01: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 Add location where to download sourcetree and fork 2020-01-08 16:32:58 +01:00

How to Git started

Using a GUI

You can use any GUI for git, the ones we use are Fork and Sourcetree You can download these at https://www.sourcetreeapp.com/ and https://git-fork.com/

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>