Allow to exclude repositories in GitHub App (renovate)

[fhg-isi]

Select Topic Area

Question

Body

Could you please add extra option to exclude individual repositories for GitHub Apps?

Also see

renovatebot/renovate#28618 (reply in thread)

[github-actions[bot]]

🕒 Discussion Activity Reminder 🕒

This Discussion has been labeled as dormant by an automated system for having no activity in the last 60 days. Please consider one the following actions:

1️⃣ Close as Out of Date: If the topic is no longer relevant, close the Discussion as out of date at the bottom of the page.

2️⃣ Provide More Information: Share additional details or context — or let the community know if you've found a solution on your own.

3️⃣ Mark a Reply as Answer: If your question has been answered by a reply, mark the most helpful reply as the solution.

Note: This dormant notification will only apply to Discussions with the Question label. To learn more, see our recent announcement.

Thank you for helping bring this Discussion to a resolution! 💬

[hak33m16]

This would be a very welcome feature. My organization has ~600 repositories and we have a global app. It's very helpful in 599 of the repositories, but there's only one that it's causing an issue in right now

The only option I have is to add 599 repos to the "select repositories" list, and then everybody has to remember to add their new repos

This is a glaring oversight in the functionality of global apps

[joshjohanning]

Perhaps implement logic in your app to skip/not process the broken one?

[hak33m16]

So just want to note: it's not broken, it's just that the app doesn't interpret it in the way we would like, and doesn't provide configuration to do so

I do understand your point that I could ask the owners of this app within the company to make it so that if some kind of ignore file existed in the repo, it would skip it

But you can still see how it's strange that the app must be included for either every repository or explicitly defined for a subset?

Anyways, I see it seems like there's not much sense pushing for this. Thanks for the suggestion here as well

[joshjohanning]

Likely, there will not be an exclusion list.

You can also use the API to add repositories to an existing GitHub App's installation, I would suggest programmatically doing this and excluding the repository you don't want. Run this as a scheduled job (or use an app to respond to the webhook for when new repositories get created).

https://docs.github.com/en/rest/apps/installations?apiVersion=2022-11-28#add-a-repository-to-an-app-installation

[hak33m16]

This is an interesting take. I would say that in almost every instance of having some kind of global setting, there is typically a use case for explicit includes and excludes. Similar to how gitignore or globbing might work

I genuinely appreciate the suggestion, but it does seem like a hack around what is clearly a missing feature from GitHub

[github-actions[bot]]

🕒 Discussion Activity Reminder 🕒

This Discussion has been labeled as dormant by an automated system for having no activity in the last 60 days. Please consider one the following actions:

1️⃣ Close as Out of Date: If the topic is no longer relevant, close the Discussion as out of date at the bottom of the page.

2️⃣ Provide More Information: Share additional details or context — or let the community know if you've found a solution on your own.

3️⃣ Mark a Reply as Answer: If your question has been answered by a reply, mark the most helpful reply as the solution.

Note: This dormant notification will only apply to Discussions with the Question label. To learn more, see our recent announcement.

Thank you for helping bring this Discussion to a resolution! 💬

[dongho-jung]

I definitely expect that having this feature will make DevOps tasks much easier. Even with just a slight increase in the number of repositories, it's too difficult to manage with the current "include only" dropdown list.

[nebuk89]

Our approach here will be focusing on the custom repo-properties :) our goal is to include the option to choose by repo or to use these across all of GitHub (i.e. anywhere that you have a repo picker today). Right now I get the pain and hopefully over the next year we will see this be reduced as we go further with the properties work

[github-actions[bot]]

🕒 Discussion Activity Reminder 🕒

This Discussion has been labeled as dormant by an automated system for having no activity in the last 60 days. Please consider one the following actions:

1️⃣ Close as Out of Date: If the topic is no longer relevant, close the Discussion as out of date at the bottom of the page.

2️⃣ Provide More Information: Share additional details or context — or let the community know if you've found a solution on your own.

3️⃣ Mark a Reply as Answer: If your question has been answered by a reply, mark the most helpful reply as the solution.

Note: This dormant notification will only apply to Discussions with the Question label. To learn more, see our recent announcement.

Thank you for helping bring this Discussion to a resolution! 💬

[AE86Trueno]

Yes definitely would love to have option to exclude certain repo would be very useful (eg testing/sandpit repo which very noisy and triggering github notification app).