[Jenkins-infra] Should we use setting app on github?

[Jesse Glick]

On Wed, Oct 23, 2019 at 3:21 AM Olblak <me at olblak.com> wrote:
> it also means that everybody who has write permission to that repository can change the settings, so the admin permission becomes useless.

Is there much value in distinguishing write from admin anyway?
Especially now that GH has the triage role or whatever it is called.

> I am not sure to see the added value, excepted allowing everybody to audit the change through the git history.

More importantly, to _propose_ changes through PRs.

> should we consider this app non relevant for the jenkins-infra organisation or should we generalize it?

To be clear, are you talking only about @jenkins-infra, or also
@jenkinsci? If only @jenkins-infra then I do not have much of a stake.

> configured as default labels at the organization level

This would be wonderful for @jenkinsci at least, especially if

https://github.com/jenkinsci/.github/blob/849a9278ee2e61b59f3f22f266efc5fe3b81f6ed/.github/release-drafter.yml#L9-L38

were included.