bug#66518: [PATCH] Use project-name in the project-kill-buffers prompt

[Dmitry Gutov]

On 13/10/2023 19:04, Philip Kaludercic wrote:
> Spencer Baugh<sbaugh@janestreet.com>  writes:
>
> > Tags: patch
> >
> >
> > This is mildly prettier.
> Could this cause confusion, in case two projects share the same name?

I suppose this can indeed be problematic with the default backend, where 
project-name just returns the base name of the root directory (and they 
can conflict).

OTOH, we do use the project name as prefix for buffer names, for 
example. So this might be okay. Worst case, we add a user option later.