Mechanizing git-bisect: Bug hunting for the Lazy · HackerTrans