Re: git with custom diff for commits

Johannes Schindelin [off-list ref] writes:

quoted

It will show an empty output for "git diff", but I doubt thit will 
change anything at commit time. Probably the "filter" thing on the same 
file (also "man gitattributes") can help though.

Ah, right.  I completely missed that you were talking about git-commit, 
not git-log on git commits.

Yes, setting up a "clean" filter that removes the timestamps is probably 
the reasonable thing to do here.

I wouldn't do filters for something like that.  Can you guarantee that
the output from corresopnding smudge filter will load cleanly back to
the mysql database?

Just do not make the commit if you made only meaningless changes and
nothing else.  pre-commit hook would probably be a good place to do so.