Do developers know how to use Git commands? A large-scale study | Hacker News Reader