From: Johannes Schindelin <hidden> Date: 2016-06-15 22:42:03
Hi,
there's git-check-files in the repository, but AFAIK nobody uses it, not
even "git status", which would be the primary candidate. If really no
users of git-check-files exist, maybe we should remove it?
Ciao,
Dscho