On 2/15/2022 10:59 AM, Jeff Hostetler via GitGitGadget wrote:
> + if (ef_is_root_changed(event_flags[k])) {
> + /*
> + * The spelling of the pathname of the root directory
> + * has changed. This includes the name of the root
> + * directory itself of of any parent directory in the
s/of of/or of/
> + * path.
> + *
> + * (There may be other conditions that throw this,
> + * but I couldn't find any information on it.)
> + *
> + * Force a shutdown now and avoid things getting
> + * out of sync. The Unix domain socket is inside
> + * the .git directory and a spelling change will make
> + * it hard for clients to rendezvous with us.
> + */
> + trace_printf_key(&trace_fsmonitor,
> + "event: root changed");
> + goto force_shutdown;
> + }
> +
Thanks,
-Stolee
