In the last commits I have observed that the file sharefiles.mk has been
committed. I think this is not necessary, because this file will be
automatically generated and will be different for every developer.
I have always ignored this file and I have not committed it. But if the
file is committed by another developer, I always get a problem when
pulling the changes, because of inconsistencies between the file in the
repository and my local version.
Perhaps, we can tell git that this file should not be included in a
regularly update.
One solution is not to commit changes and to ignore local changes.
Dieter Kaiser