mined edit for github