Translation of ProGit book