adding dev spaces tutorial

.github/workflows/build.yaml

@@ -8,6 +8,9 @@ on:
   pull_request:
     branches:
       - main
+  schedule:
+    # Runs at 00:00 UTC every day
+    - cron: '0 0 * * *'
 
 permissions:
   contents: write
@@ -32,7 +35,7 @@ jobs:
       - run: mkdocs gh-deploy -s --force
 
   build:
-    if: github.event_name == 'pull_request'
+    if: github.event_name == 'pull_request' || github.event_name == 'schedule'
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v3

mkdocs.yml

@@ -23,8 +23,8 @@ markdown_extensions:
   - attr_list
   - md_in_html
   - pymdownx.emoji:
-      emoji_index: !!python/name:material.extensions.emoji.twemoji
-      emoji_generator: !!python/name:material.extensions.emoji.to_svg
+      emoji_index: '!!python/name:material.extensions.emoji.twemoji'
+      emoji_generator: '!!python/name:material.extensions.emoji.to_svg'
   - footnotes
   - admonition
   - pymdownx.details
@@ -229,3 +229,4 @@ nav:
       - 'Generating Kuadrant RateLimitPolicies': kuadrantctl/doc/generate-kuadrant-rate-limit-policy.md
       - 'CI/CD with kuadrantctl & Tekton': kuadrantctl/doc/kuadrantctl-ci-cd.md
       - 'Using Apicurio Studio with Kuadrant OAS extensions': kuadrantctl/doc/openapi-apicurio.md
+      - 'Using OpenShift Dev Spaces with Kuadrant OAS extensions': kuadrantctl/doc/openapi-openshift-dev-spaces.md