The sound distributed version control system

In `pijul git`, avoid diffing files not modified by a commit

Created by  pmeunier  on October 18, 2022
FF4TXHN5T4QFIUI4MNCWZYNV6D5F5K5JKPBESN3EPP5YHLHSYI5AC
Change contents