Taller Lean 2024 - Git & GitHub Workshop