Update docs submodule to gh-pages branch

Now that the changes in micrometer-docs have been merged to main and are pushed to the `gh-pages` branch, we should point at that rather than the `embedded-docs` branch that was manually pushed to.
micrometer-metrics · Jan 30, 2024 · 97f2903 · 97f2903
1 parent 3795dd8
commit 97f2903
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,4 +1,4 @@
 [submodule "static/docs"]
 	path = static/docs
 	url = [email protected]:micrometer-metrics/micrometer-docs.git
-	branch = embedded-docs
+	branch = gh-pages
diff --git a/static/docs b/static/docs