git commit -m "C0" --allow-emptyvim some_work.py;, (…), git add some_work.pygit log (note the tag v0.1 has not moved)Dear Alice and Bob,
As Alice’s laptop is broken, you will be working on the same laptop this week; we will talk about remote repositories in the future.