GitcProc: a tool for processing and classifying GitHub commits. - Casey Casalnuovo; Yagnik Suchak; Baishakhi Ray; Cindy Rubio-González (ISSTA, 2017)