bug#737: vc-dir reports unregistered-then-deleted file is "up-to-date"

[Glenn Morris <rgm@gnu.org>]

Dan Nicolaescu wrote:

> I just don't think it should be the default.  I do think that it's
> fundamentally broken, so I don't want to have anything to do with it.
>
>   > Or introduce a vc-dir-stay-local, default nil?
>
> I'd prefer it *stay-local would not pollute vc-dir.el, none of the
> modern VC systems needs it, so there's no good reason to deal with it in
> the future.

As a user of older version control systems, I can't help but feel
disenfranchised.

I see these options:

1) Take out the checks for stay-local I added recently; vc-dir will
always contact the server. Which is fine if you want to argue that
this is a new feature, but I will file a wishlist bug to have similar
behaviour re-added at some later date.

2) Add a vc-dir-stay-local, default nil, which overrides the others.

3) Change the defaults of vc-stay-local and friends to be nil.

4) Leave as at present, on the assumption that people understand that
vc-stay-local et al mean sacrificing accuracy for other gains.

It's probably too late for 3) for 23.1. You seem to be set against 2).
That doesn't leave much.

Anyway, you wrote vc-dir. What would you like me to do?