QUIZ: How Devs Are Using Basic Git Commands in Daily Work