This is the official repository of the course, and contains the Jupyter Notebooks guiding students through the world of data analysis with python. The notebooks will be added few hours before each lecture or exercise.
This repo should be forked by each individual student. Exercises should be committed to the student's repo. Before each deadline, a pull request (PR) should be prepared to integrate the changes into this (upstream) repository. Those pull requests should point to the appropriate student branch. PRs pointing to the main branch will be closed.
Notebooks are extremely powerful tools, you may find useful to discover some of their functionalities on this tutorial page or by checking these tips list.
To begin with, you need to have a GitHub account. If you don't already have one, go to github and sign up. Follow instructions on the screen. Tip: use a reasonable username that resembles your actual name.
Once you have your github account, fork this repository clicking on the top-right button Fork.
Generate your Token on GitHub following this guide. Copy the token to a safe place. Remember you can see it only the first time, otherwise if you lose it you have to create another one.
The following instructions need to be followed any time a new local repository is created. If you are working in a location where such repo already exists, what follows doesn't need to be repeated every time.
- Clone your (forked) repository (i.e. create a local repository cloned from your remote repository)
git clone https://<YourToken>@github.com/<YourUsername>/HighLevelProgramming2021.git
where it your GitHub username and is the token as copied from the GitHub webpage. A new directory will appear in your current directory. Get into it:
cd HighLevelProgramming2021/
- Configure your username and email:
git config --global user.name "<YourUsername>"
git config --global user.email "<YourEmail>"
Your git configuration is stored in ~/.gitconfig, a file that you can always edit by hand.
- Define the central HighLevelProgramming repo as the upstream repository:
git remote add upstream https://github.com/zucchett/HighLevelProgramming2021.git
- Check that the previous commands succeeded:
git remote -v
- Get (fetch) the updates that have been done on the remote repository:
git fetch upstream
- The default branch is
main. You should now create your development branch where you can edit and run the code. Note that you have a branch corresponding to your name in the upstream repository (upstream/<NameSurname>): that is the branch you should point the pull request to. In order to set up a proper development cycle, you must create a branch (in the example below called<BranchName>) that tracksupstream/<NameSurname>:
git branch -vv
git checkout -b <BranchName> upstream/<NameSurname>
Note: in case you decide to develop your code in a branch that does not track upstream/<NameSurname>, you'll eventually need to merge your changes into the branch tracking upstream/<NameSurname> which is the one to which your pull request will point to.
- Before starting with the development you could check whether the upstream repository has been updated with respect to your forked version (that's likely to be the case prior to every lab class). If it had, then merge the changes into your main:
git checkout main
git fetch upstream
git merge upstream/main
- Then synch your development branch (especially in the case your pull request has been recently approved):
git checkout <BranchName>
git fetch upstream <NameSurname>
git merge upstream/<NameSurname>
Be careful that the git syntax is inconsistent between fetch and merge. In the former you should use the whitespace to separate the repository and the branch name, in the latter you should use the slash character.
-
The idea is that your main always reflects
upstream/main, i.e. it keeps a local copy of the reference code as a starting point for your developments (i.e. solving the assigned problems). Note that in order to update your repository on GitHub, you need to push the local version to your remote repository. -
You may also need to get the updates from the main, i.e. need to merge the main:
git merge main
- Before starting to edit on the machine that you are using, type the follow command in order to update the directory with the last changes:
git pull
- Now develop some code. Image you create a
<NewFile>. Add the file to your local repository and stage it for commit (to unstage a file, usegit reset HEAD <NewFile>)
git add <NewFile>
- Commits the (tracked) changes you made to the file(s) and commit them local repository on github
git commit -m "Add existing file"
(what follows after -m is a comment to keep track of the reason of the commit)
- Now propagate (push) your local changes to your remote repository on github (
origin)
git push origin <BranchName>
- When appropriate, propagate your development also to the repo you originally forked (upstream). For that you need to go for a pull request, which is done from GitHub. Pay attention to set the correct starting and destination branches.