RFR: 2083: Add option for omitting messages about /approval command

[Erik Joelsson]

On Wed, 1 Nov 2023 16:50:56 GMT, Zhao Song <zsong at openjdk.org> wrote:

> We don't need to notify users about the /approval command in all cases. So we should make it optional.
> 
> Also the term "maintainer approval" may confuse users in some cases and we also need to make it configurable.

Marked as reviewed by erikj (Lead).

-------------

PR Review: https://git.openjdk.org/skara/pull/1580#pullrequestreview-1708761861