Keep file ID on move?

Nextcloud version : 13
Operating system and version : Official docker image
Apache or nginx version : apache 2
PHP version: 7.1

Hello !

I realized that file IDs change when moving files from one folder to an other. I dug into the GH repository and thought this would have been fixed by this PR : https://github.com/nextcloud/server/pull/4524/commits, but it does not seem to be the case. Do I miss something ? Was it rolled back ?

Additionnally, is there any mean (maybe through a plugin ?) to keep consistent IDs also when sharing files between different users ?

Thanks !

Is this the first time you’ve seen this error?: N

Steps to replicate it:

  1. from the web interface, create a file, click on it to see its ID on the address bar
  2. move it to a folder
  3. open the folder, then click the file again to see its ID. It’s different than the one observed in step 1.