Collaborative distributed version control @ KIT
Episodes
Quick recap on Git Basics: Commits and Branches
Beyond add and commit: undoing mistakes
Inspecting history
Optional: Git Internals
Operating on Branches
Concepts around collaboration
Collaborating within the same repository: issues and pull requests
Code review demo
How to contribute changes to repositories that belong to others
Interrupted work
Tooling and practices that you might find useful
Merge and beyond
Reference
Quick reference
List of exercises
Instructor guide
Instructor guide - original
PDF version
About
All lessons
CodeRefinery
Reusing
Collaborative distributed version control @ KIT
Index
Edit on GitHub
Index
B
|
C
|
F
|
G
|
I
|
M
|
O
|
P
|
R
|
W
B
bare repository
C
conflict
F
fetch
forge
G
git hook
I
index
issue
M
main
merge
O
object
origin
origin/NAME
P
pull
pull request
push
R
remote
W
working tree