Subject: bug#34221: [PATCH] Make project-files work with remote files

From: Michael Albinus <[email-masked]>
Date: Mon, 28 Jan 2019 09:29:12 +0100

Felicián Németh <[email-masked]> writes:

Hi Felicián,

> However, now I wonder whether project--remote-file-name would be more
> useful if it would derive the remote-id from default-directory.

Yes, that's the usual approach.

> should I simply eliminate this helper function altogether?

Dunno, looks now like just a convenience function.

> Thanks,
> Felicián

Best regards, Michael.