repos: do not add config repo as regular repo #27

Merged
danielfdickinson merged 1 commit from pr-do-not-add-config-repo-as-regular-repo into main 2026-08-18 06:54:19 +00:00

Adding a configuration repo as a regular repo can result in flipping
between configs. Therefore if a config repo is defined in the repo's
configuration, ignore it.

Closes: #6

Signed-off-by: Daniel F. Dickinson dfdpublic@wildtechgarden.ca

Adding a configuration repo as a regular repo can result in flipping between configs. Therefore if a config repo is defined in the repo's configuration, ignore it. Closes: #6 Signed-off-by: Daniel F. Dickinson <dfdpublic@wildtechgarden.ca>
repos: do not add config repo as regular repo
All checks were successful
/ pre-commit-checks (push) Successful in 1m47s
/ pre-commit-checks (pull_request) Successful in 1m50s
d8702488f2
Adding a configuration repo as a regular repo can result in flipping
between configs. Therefore if a config repo is defined in the repo's
configuration, ignore it.

Closes: #6

Signed-off-by: Daniel F. Dickinson <dfdpublic@wildtechgarden.ca>
danielfdickinson scheduled this pull request to auto merge when all checks succeed 2026-08-18 06:52:30 +00:00
danielfdickinson deleted branch pr-do-not-add-config-repo-as-regular-repo 2026-08-18 06:54:19 +00:00
Sign in to join this conversation.
No reviewers
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
orepotool/openwrt-repotool!27
No description provided.