The promises and perils of mining git