Skip to content

Improve git lecture

Lukas Kluft requested to merge improve-git into main

I added various minor improvements (easiest to review on a per-commit-base).

This closes #10 (closed)

Edited by Georgiana Mania

Merge request reports