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

[Zhao Song]

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.

This pull request has now been integrated.

Changeset: 1b290d88
Author:    Zhao Song <zsong at openjdk.org>
URL:       https://git.openjdk.org/skara/commit/1b290d88e774085904f9e10f13d79cf1f2fbc156
Stats:     43 lines in 7 files changed: 22 ins; 0 del; 21 mod

2083: Add option for omitting messages about /approval command

Reviewed-by: erikj

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

PR: https://git.openjdk.org/skara/pull/1580