Subject: Re: bug#20943: 25.0.50; Dired buffers are not always auto-reverted

From: Eli Zaretskii <[email-masked]>
Date: Thu, 09 Jul 2015 17:47:35 +0300

> From: Mark Karpov <[email-masked]>
> Date: Thu, 09 Jul 2015 19:24:42 +0600
> 
> 
> Any update/decision on this issue? I'm using this for almost a week now
> and it feels all right. Dired now is much more interactive, the problem
> of staled buffers is gone.

We need to come up with a way of telling auto-revert that although the
buffer was modified by the commands you mentioned, it's okay to revert
it.  Can you suggest a change along those lines?