diff --git a/scripts/cmake/GitSetup.cmake b/scripts/cmake/GitSetup.cmake
index 4a740ad01d487b2ab4a0b8ffcc1a74adbe7210b7..5616b091461754c4d78bc3497ffc4964134944c6 100644
--- a/scripts/cmake/GitSetup.cmake
+++ b/scripts/cmake/GitSetup.cmake
@@ -29,12 +29,16 @@ if(NOT IS_GIT_REPO)
 endif()
 
 if(IS_GIT_REPO)
-    execute_process(
-        COMMAND ${GIT_EXECUTABLE} rev-parse --abbrev-ref HEAD
-        WORKING_DIRECTORY ${PROJECT_SOURCE_DIR}
-        OUTPUT_VARIABLE OGS_GIT_BRANCH
-        OUTPUT_STRIP_TRAILING_WHITESPACE
-    )
+    if(DEFINED ENV{CI_COMMIT_BRANCH})
+        set(OGS_GIT_BRANCH $ENV{CI_COMMIT_BRANCH})
+    else()
+        execute_process(
+            COMMAND ${GIT_EXECUTABLE} rev-parse --abbrev-ref HEAD
+            WORKING_DIRECTORY ${PROJECT_SOURCE_DIR}
+            OUTPUT_VARIABLE OGS_GIT_BRANCH
+            OUTPUT_STRIP_TRAILING_WHITESPACE
+        )
+    endif()
 endif()
 
 if(IS_GIT_REPO AND NOT OGS_VERSION)
diff --git a/web/content/docs/devguide/getting-started/introduction.md b/web/content/docs/devguide/getting-started/introduction.md
index 3c2d0e8c9ea2233e6dd8b42ae189ffe62b955b47..db7109f287498dc843607ffcd80d5a2faf8bfd87 100644
--- a/web/content/docs/devguide/getting-started/introduction.md
+++ b/web/content/docs/devguide/getting-started/introduction.md
@@ -4,6 +4,8 @@ title = "Welcome!"
 author = "Lars Bilke"
 weight = 1001
 
+aliases = ["/docs/devguide"]
+
 [menu.docs]
 name = "Developer Guide"
 identifier = "devguide"