From: Angelo Borsotti <angelo.borsotti@gmail.com>
Date: Thu, 27 Oct 2022 11:53:09 GMT
Subject: Git add documentation error
Message-ID: <CAB9Jk9Ay2PPEYKve3DXVmG__yZjO1mgh1MxaKA+wfsF0ZvKRqA@mail.gmail.com>

Hello,

the reference manual for the "git add" command does not
specify what that command does when applied to an
unmodified file.
By testing this, I have seen that it does not add the file
to the index, and consequently it does not add it when a
subsequent commit is done.
I think that this should be documented.

Thank you
-Angelo Borsotti