Desired Behavior

I would like to be able to query the state of dune file promotion. I.e., determine what will be the result of dune promote without actually promoting the files.

Currently, I use a workaround where I rely on git: I do promote, and then inspect the applied promotion, and then git restore. However this requires some care in keeping the git repo clean which isn't really possible during rebases.

Example

I would like the following options to query the current state of the files to be promoted.

$ dune promote --diff
<same output as `git diff` after a `dune promote`>

$ dune promote --diff --name-only
<same output as `git diff --name-only` after a `dune promote`>