split out docs (for rework), add more roles

Change-Id: I80586a8d3ced43cc952be2cc8b26154c470d7f05
diff --git a/default.xml b/default.xml
index c14d470..7036374 100644
--- a/default.xml
+++ b/default.xml
@@ -13,10 +13,6 @@
            remote="opencord"
            sync-j="4" />
 
-  <project path="infra-docs" name="infra-docs"/>
-
-  <project path="infra-ci-management" name="infra-ci-management"/>
-
   <project path="infra-manifest" name="infra-manifest"/>
 
   <project path="ansible" name="ansible/onf-ansible"/>
@@ -47,6 +43,7 @@
   <project path="ansible/roles/onieboot" name="ansible/role/onieboot"/>
   <project path="ansible/roles/php" name="ansible/role/php"/>
   <project path="ansible/roles/postgresql" name="ansible/role/postgresql"/>
+  <project path="ansible/roles/proxmox" name="ansible/role/proxmox"/>
   <project path="ansible/roles/pxeboot" name="ansible/role/pxeboot"/>
   <project path="ansible/roles/rbackup" name="ansible/role/rbackup"/>
   <project path="ansible/roles/redis" name="ansible/role/redis"/>