TESTING AREA for teachers - real service at plus.tuni.fi
- TIJO.300
- 2. Set up your environment
- 2.2 Git: version control and collaboration
Git: version control and collaboration¶
- Main questions:
- How to store editing history? How to share your work with your colleagues?
- Topics:
- git: add, commit, push, pull
- What you are supposed to do?
- Learn the essential use of git version control
- Difficulty:
- You need basic UNIX terminal skills
- Laboriousness:
- 1-2 hours
Introduction to Git¶
Software: Git
Git is a version control software. It saves the editing history of a directory: what new files were added, changes to existing files or what files have been moved. With Git, many persons can edit the same collection of files at the same time and share their work.
At Aalto University, Git is used for controlling the version history of the A+ course materials and publishing changes to the A+ production server https://plus.cs.aalto.fi . Git is also useful on your own computer: if you delete some file in your course folder by mistake, or break the code and don't know how to repair it, you can revert back to an earlier version of your codebase.
There are many Git tutorials for beginners. You can try out this if you want or just read the instructions here.
First-time Git setup¶
If you haven't used Git before, do a first-time Git setup:
Installation
To check whether or not you have Git installed, simply open a terminal window and run the following command.
git --version
If you need to install Git, you can find the instructions here.
Your Identity
The first thing you should do after installing Git is to set your user name and email address.
This is important because every Git commit uses this information, and it’s immutably baked into the commits you start creating.
git config --global user.name "John Doe" git config --global user.email johndoe@example.com
You need to do this only once if you pass the
--global
option, because then Git will always use that information for anything you do on that system.If you want to override this with a different name or email address for specific projects, you can run the command without the
--global
option when you’re in that project.
Your Editor
Now that your identity is set up, you can configure the default text editor that will be used when Git needs you to type in a message.
If not configured, Git uses your system’s default editor.
git config --global core.editor atom # set Atom as the default text editor
On a Windows system, if you want to use a different text editor, you must specify the full path to its executable file.
More instructions for setting up Git are available on the official Git website.
Important Git commands¶
Now, let's go over the most needed git commands:
git clone
Initializes Git, adds new remote and clones some existing project from Gitlab to your computer.
This is how you get some project from Gitlab and start working on it.
When cloning a project, by default the master branch will be cloned, if not specified otherwise.
git clone {url-of-the-project} git clone -b {some-specific-branch} {url-of-the-project} # clone from specific branch git clone {url-of-the-project} {folder-in-which-to-clone} # clone in specific folder
git status
Used to check the status of the working tree.
Shows the state of your working directory and helps you see all the files which are untracked by Git, staged or unstaged.
Use this before
git add
,git commit
andgit push
to make sure that you are making the correct changes.git status
git add
Adds a change in your working directory to the staging area.
Basically tells Git that we want to include these changes to some file in the next commit.
Use this when you have made some changes in your working directory (your project), and want to include these changes in the next commit.
git add {files-to-add} git add -A # add all changes
git commit
Records every change that you've made in your working directory (and added with
git add
) as an object in your local repository.The changes are saved in your local repository, not on Gitlab.
Use this when you've made some progress in your project, and want to save it in this exact state.
git commit # opens some editor so you can write your commit message git commit -m "some message" # commit message is written inline
git push
Push (copy) all your local repository changes to Gitlab (after
git commit
).After pushing, you can see all your work on the remote repository (Gitlab).
git push -u {remote-name} {branch-name} # push to Gitlab, and set the branch as upstream so that next time you won't have to specify the branch on which to push git push {remote-name} # if you have already set an upstream branch git push # push to current branch's remote (or origin, if no remote is configured for the current branch)
git pull
Pull (copy) the changes from a remote repository branch and merge all the changes locally into the current branch.
Same as doing
git fetch
andgit merge
.Use this when you want to update your local repository with changes from a remote repository.
git pull {remote-name} {branch-name} git pull # pull from current branch's remote (or origin, if no remote is configured for the current branch)
git mv
Moves/renames the file/folder, updating the index to record the replaced file path, as well as updating any affected git submodules.
Unlike a manual move, this also detects case-only renames that would not otherwise be detected as a change by git.
git mv {old-name} {new-name}
git branch
Show all your local branches, create new branches or delete branches.
git branch # show all local branches git branch {branch-name} # create a new branch (it won't switch you to the new branch) git branch -d {branch-name} # delete a branch that's already merged git branch -D {branch-name} # force delete a branch even if it's not merged yet git push {remote-name} --delete {branch-name} # delete a remote branch (a branch that's on Gitlab)
git checkout
This command has many uses, which are listed below.
git checkout {branch-name} # switch to some branch git checkout -b {branch-name} # create a new branch and switch to it git checkout {commit-hash} # go back to some commit so you can inspect the files at that point in time git checkout {commit-hash} {file-name} # get another version of some file and put it in place of the current file git checkout {file-name} # get the latest version of some file from the remote repository
Recommendation: "git lol" custom command
One can configure additional commands for git. Copy and paste the following command to the terminal to add the new command "git lol". It shows a nice, semi-graphical tree view of your git history, as in the picture below.
git config --global --add alias.lol "log --graph --decorate --pretty=oneline --abbrev-commit --all"
Aalto Gitlab¶
Aalto University has a service for storing and sharing git repositories (directories with history in git). In the following, you will be guided on how to use it.
First, log in to Aalto Gitlab at https://version.aalto.fi .
Adding an SSH key¶
If you have not used Aalto Gitlab before, you need to add an SSH key.
This is a cryptographic key which enables the data exchange between your
computer and the Aalto Gitlab computer safely. It is required for making
the commands git pull
and git push
work.
Click on your profile picture circle on the top-right corner of the page and choose "settings". Next, on the left sidebar, click on the "SSH option". Then, click on the link "generate one" and follow the instructions.
Recommendations for git workflow¶
If you know that several persons are editing the same course as you, begin
your working day with git pull
. Make many of small commits: edit a
couple of files where the changes are related to each other, like adding
a new chapter, picture or exercise. Do git push
many times a day. This
way it is easy to record what files were changed in each editing step.
Essentially, git push
backs up your work to Aalto Gitlab
so if your laptop or workstation breaks or is stolen, you will only
lose a work of a few hours.