Subject: bug#41868: [PATCH] Add project-clean-up command

From: Juri Linkov <[email-masked]>
Date: Fri, 19 Jun 2020 02:02:10 +0300

>> But we already agreed on a shorter name project-kill-buffers-ignore,
>> and Philip sent the patch that renames it.
>
> Could you link to it?

I can't find it.  Philip, could you please resend your patch
with project-kill-buffers-ignore.