Remove links to old docs repo.

developer-docs/README.md

@@ -5,7 +5,6 @@ The Educates project consists of the following Git repositories:
 
 * Educates Training Platform - https://github.com/vmware-tanzu-labs/educates-training-platform
 * Educates Packages Repository - https://github.com/vmware-tanzu-labs/educates-packages
-* Educates User Documentation - https://github.com/vmware-tanzu-labs/educates-docs
 * Educates GitHub Actions - https://github.com/vmware-tanzu-labs/educates-github-actions
 
 Educates Training Platform (this repository), holds all source code for building and making releases of the core platform.

docker-extension/Dockerfile

@@ -26,7 +26,7 @@ LABEL org.opencontainers.image.title="Educates Docker Desktop Extension" \
     org.opencontainers.image.licenses="Apache-2.0" \
     com.docker.desktop.extension.api.version="0.3.4" \
     com.docker.extension.screenshots="" \
-    com.docker.desktop.extension.icon="https://raw.githubusercontent.com/vmware-tanzu-labs/educates-docs/develop/assets/educates-logo.svg" \
+    com.docker.desktop.extension.icon="https://raw.githubusercontent.com/vmware-tanzu-labs/educates-training-platform/main/project-assets/educates-logo.svg" \
     com.docker.extension.detailed-description="Spin up a local Educates Training Platform workshop" \
     com.docker.extension.publisher-url="https://github.com/vmware-tanzu-labs/educates-training-platform" \
     com.docker.extension.additional-urls="" \

project-docs/project-details/project-overview.md

@@ -17,10 +17,6 @@ The source code repository for the Educates training platform can be found at:
 
 * [https://github.com/vmware-tanzu-labs/educates-training-platform](https://github.com/vmware-tanzu-labs/educates-training-platform)
 
-The source code repository for the Educates documentation can be found at:
-
-* [https://github.com/vmware-tanzu-labs/educates-docs](https://github.com/vmware-tanzu-labs/educates-docs)
-
 Overall goals of the project
 ----------------------------