What’s a git data mining business? Does that mean extracting people’s emails from their commits?