While updating a checkout of the EiffelStudio release I saw, that the 70'000 commit has happened a couple of days ago by Paul. So congratulations to EiffelStudio, there aren't that many repositories with that many commits around.