Leo Wandersleb @LeoWandersleb - 1y
Not exactly. Git is more than just github. Git is great for incremental changes, each with a commitment to the full history of the repository. If you know the ID of commit 200 and somebody is offering you a copy with 205 commits, you can immediately check all up to 200.
