Merge pull request #1037 from GabyCT/topic/adddocu

release: Add documentation repository
This commit is contained in:
Salvador Fuentes
2020-05-05 20:27:23 -05:00
committed by GitHub

View File

@@ -165,6 +165,7 @@ EOT
repos=(
"agent"
"documentation"
"kata-containers"
"ksm-throttler"
"osbuilder"