mining information about users of git