Strange D command behaviour

[m...@shurizzle.dev]

Hi everyone, I was configuring Gitolite and enabled the `D` command.
I noticed that no trigger is ever launched, neither for `rm`, nor for `trash`,
nor for `restore`, so the projects.list file is not updated for the
gitweb integration.
The isue is not so much with `rm` or `trash`, but more with `restore`.
If a `POST_COMPILE` is triggered between a `trash` and a `restore`,
you won't see the repository until the next `POST_COMPILE`.
I hope I have made myself clear; for completeness, I am attaching a video:
https://asciinema.org/a/kmO8yTC2ABPE48WVOGpzuZjk1.

I believe a solution could simply be a
`gitolite trigger POST_CREATE "$repo" "$GL_USER" D`
at the end of each command (`repo="$realrepo"` in the case of `restore`).

Thanks in advance