lecture-management CI/CD Catalog (unpublished)