Do developers know how to use Git commands? A large-scale studydl.acm.org5 pointshazelnut-tree4 years ago