repo-configs: fix name of dev-config repo #10

Merged
danielfdickinson merged 1 commit from pr-fix-name-of-dev-config-repo into openwrt-dfd 2026-03-31 03:47:46 -04:00

Was not correctly defined in 'add-remotes.json'.

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

Was not correctly defined in 'add-remotes.json'. Signed-off-by: Daniel F. Dickinson <dfdpublic@wildtechgarden.ca>
repo-configs: fix name of dev-config repo
All checks were successful
/ pre-commit-checks (push) Successful in 1m19s
/ pre-commit-checks (pull_request) Successful in 1m18s
f1ce2839a5
Was not correctly defined in 'add-remotes.json'.

Signed-off-by: Daniel F. Dickinson <dfdpublic@wildtechgarden.ca>
danielfdickinson scheduled this pull request to auto merge when all checks succeed 2026-03-31 03:46:28 -04:00
danielfdickinson merged commit f1ce2839a5 into openwrt-dfd 2026-03-31 03:47:46 -04:00
danielfdickinson deleted branch pr-fix-name-of-dev-config-repo 2026-03-31 03:47:46 -04:00
Sign in to join this conversation.
No reviewers
No labels
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-config!10
No description provided.