Configure `disableAutoGitUpdates` for specific repos

[nihaals]

Feature request description

Being able to e.g. give a list of objects to disableAutoGitUpdates which allows you to enable the option (no automatic Git updates) for specific repos/groups of repos.

Is your feature request related to a problem? If so, please describe.

If you have a large number of repos that you know will not be updated (or updated extremely rarely), it would be nice if you could disable auto updates for these but not all repos. This would probably have to support more than giving single repo names and instead e.g. a regex.

Describe alternatives you've considered.

An alternative "fix" could be something based on archived repos. I haven't seen any documentation suggesting updates are affected for archived repos but this could also solve this problem. Some downsides of this would be:

• The idea doesn't exist for generic Git hosts
• It also affects default search results

Another alternative would be supporting using -1 (indicating "never update") in gitUpdateInterval, assuming gitUpdateInterval has the same behaviour as disabling automatic updates.

A workaround would be using gitUpdateInterval and setting it to a large value. This somewhat breaks /-/settings/mirror as it won't show a value over 8 hours, but it will keep bumping the update time so it keeps showing 8 hours, although this could be because refreshing the page also refreshes the repository.

[nihaals]

Creating an issue always seems to help find something you missed earlier :sweat_smile: It looks like #16765 covered this, assuming that an interval of 0 is equivalent to disableAutoGitUpdates. EDIT: Looks like it doesn't as it doesn't support setting to 0/-1. An alternative fix would probably be supporting this.

[github-actions[bot]]

Heads up @dan-mckean @caugustus-sourcegraph @kevinwojo - the "team/delivery" label was applied to this issue.

[github-actions[bot]]

Heads up @jplahn @dan-mckean - the "team/repo-management" label was applied to this issue.