assignments | ||
resources | ||
.gitignore | ||
README.md |
How to Git started
This is the information provided for the git workshop held at the CIT on the 29th of January 2020.
Install Git
Download git for your operating system at: https://git-scm.com/downloads
You can use any GUI for git but to get a deep understanding of git we will use the terminal. For available GUIs check out https://git-scm.com/downloads/guis/
Our remote git server is located at https://git.web.rug.nl/ You can log in with your usual p-number and password.
This README has been written in markdown. To get started see the following cheat sheet:
Cheatsheets: Markdown
Learning objectives
- Introduction to VCS
- Create new repository
- README.md
- Git ignore file
- Stage
- Commit
- Push / pull
- Fork
- Pull request
- Branche
- Merge / (Rebase)
- Undoing Things
- Amend commits
- Unstaging
- Unmodifying a modified file
- Revert and reset
- Log
- Tag
Using the terminal
Configure tooling
Configure user information for all local repositories
$ git config --global user.name "[name]"
# Sets the name you want attached to your commit transactions
$ git config --global user.email "[email address]"
# Sets the email you want attached to your commit transactions
$ git config --global color.ui auto
# Enables helpful colorization of command line output
$ git config --global core.editor "nano"
# Sets the default editor to nano
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.
Or you can add an SSH key
Check your config using
$ git config --list
Terminal commands
See changes that have been made
git diff
Adding files to commit
git add file1 file2
git add *
Committing files with commit message, this will stage your changes
git commit -m "your commit message"
unstage by using
use "git reset HEAD <file>..." to unstage
Branches
Branches are an important part of working with Git. Any commits you make will be made on the branch you’re currently “checked out” to. Use git status to see which branch that is.
Creates a new branch
$ git branch [branch-name]
$ git checkout -b [branch-name]
Switches to the specified branch and updates the working directory
$ git checkout [branch-name]
Combines the specified branch’s history into the current branch. This is usually done in pull requests, but is an important Git operation.
$ git merge [branch]
Deletes the specified branch
$ git branch -d [branch-name]
Show all available branches
git branch -a
Track remote branch
git checkout --track origin/<branch>
Delete remote branch
git push <remote_name> --delete <branch_name>
git remote prune <remote_name>
Check the log in graph form
git log --graph --oneline
Glossary
- git: an open source, distributed version-control system
- GitHub: a platform for hosting and collaborating on Git repositories
- commit: a Git object, a snapshot of your entire repository compressed into a SHA
- branch: a lightweight movable pointer to a commit
- clone: a local version of a repository, including all commits and branches
- remote: a common repository on GitHub that all team members use to exchange their changes
- fork: a copy of a repository on GitHub owned by a different user
- pull request: a place to compare and discuss the differences introduced on a branch with reviews, comments, integrated tests, and more
- HEAD: representing your current working directory, the HEAD pointer can be moved to different branches, tags, or commits when using git checkout
Resources
https://gitexplorer.com/ https://git-school.github.io/visualizing-git/ https://education.github.com/git-cheat-sheet-education.pdf https://gitsheet.wtf/ https://www.keycdn.com/blog/git-cheat-sheet