a dummy repository for teaching a friend git