Merge branch 'devel' into 'main'

fix See merge request release-engineering/public/toolkit!29
2021-11-10 17:25:15 +00:00 · 2021-11-10 17:25:15 +00:00 · 4bd8369667
parent f39ef4a51c 36ea0fe562
commit 4bd8369667
1 changed files with 1 additions and 1 deletions
--- a/sync/common_8
+++ b/sync/common_8
@ -20,7 +20,7 @@ RELEASE_DIR="${CATEGORY_STUB}/${REVISION}${APPEND_TO_DIR}"
 # cases where repos will not be available by normal means. It's just for
 # consistency.
 NONMODS_REPOS=(
-  extras
+  Extras
  Devel
  nfv
  plus