Josef and I are learning how to use Git.