github pages deployment

moveit · May 3, 2024 · 0577c6a · 0577c6a
1 parent f5edb1b
commit 0577c6a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -144,12 +144,12 @@ jobs:
 
     - name: Upload pages artifact
       uses: actions/upload-pages-artifact@v3
-      if: github.repository_owner == 'ros-planning'
+      if: github.repository_owner == 'moveit'
       with:
         path: build/html
 
   deploy:
-    if: github.repository_owner == 'ros-planning' && github.ref == 'refs/heads/main'
+    if: github.repository_owner == 'moveit' && github.ref == 'refs/heads/main'
     runs-on: ubuntu-latest
     needs: collate_site_artifacts
     environment:

diff --git a/conf.py b/conf.py
@@ -120,7 +120,7 @@
 
 html_context = {
     "display_github": True,
-    "github_user": "ros-planning",
+    "github_user": "moveit",
     "github_repo": "moveit2_tutorials",
     "github_version": "main/",
     "conf_py_path": "",