Good day to all
I have been playing around a bit with the community edition (version 4.26) and there seems to be a weird issue when deleting file via the web UI, at least for git repositories:
- OK: files in the root of a repository can be deleted via UI
- OK: a file in a subdirectory can be deleted via UI, as long as it is the only file in that subdirectory
- NOT OK: a file in a subdirectory cannot be deleted via UI, if there are other files and/ or folders in the same subdirectory
On 3. there is even a „file successfully deleted“ message as well as a corresponding commit - but the file none the less does not get deleted.
The above happens only with the web UI, via command line or e.g. a graphical git client it works as it should, read: a file also can be deleted in case 3. e.g. locally on a cloned repository with commit & push to CE
Is this something known or something that just happens for me, resp. is specific to my installation? (Linux, not Windows)