Correcting bugs with GIT