process mining project for github