When the file we wish to promote isn't in the promotion database we typically print a warning:

$ dune promote bin/main.ml
Warning: Nothing to promote for bin/main.ml.

but when connecting to watch mode:

$ dune promote bin/main.ml
Success

which is both uninformative and misleading.