Re: vc-git: workaround for "file unregistered" problem

[Stefan Monnier]

> In some circumstances, git fails to report the status of files and
> pretends they are unregistered.  One symptom can be that vc-git will
> try to add the file a second time.   I have inquired about this on the
> Git list [1], but received no response - I'm not sure if this is a bug
> in git.

Can you report it as a bug?

> Either way, specifying full paths works around the problem, and the
> patch below does that for those who encounter similar issues.

It looks acceptable, exept that, like all patches which try to work
around a problem, it should come with a corresponding comment.


        Stefan