Git exercise: multiple developers and one remote shared repository.