Re: Time to revert bad commits?