Basic collaboration with Git

TeachingDecember 30, 2023

Basic collaboration with Git

A typical collaboration workflow

git status
# Is the working tree clean?
git checkout -b branch-name
git add .
git commit -m "…"
git push origin branch-name
# Make a pull request on Github
git checkout master
git pull origin master