Explicitly ignoring repositories when using a GitHub App with install on all repositories

[jamietanna]

When setting up a GitHub App with install on all repositories, we would like to exclude specific repositories from being processed.

For instance, there are some repositories that we want to only enable for the development GitHub App, which is installed with install on selected repositories.

However, the production GitHub App can access + process all repos, so there's then a little bit of "fighting" between bots

This configuration would allow us to provide an exclusion of i.e. org/repo,another-org/repo etc

Each GitHub App is configured on a separate Mend Renovate CE

[jamietanna]

This could be related to #520 but is a slightly different view - we've got an active repo that we want to snooze/disable one of our GitHub Apps on

[rarkins]

Does autodiscoverFilter work?

[jamietanna]

We'd not given that a go - my understanding of autodiscoverfilter was that when there are many negations it could get a little awkward

i.e. would it be:

{
  "autodiscoverFilter": [
		"!/org\/repo/",
		"!/another-org\/repo/"
	]
}

To allow us to exclude those two repos from any auto-discovered repos?