Finalize CI workflow for gh-pages-jekyll after setup

K-dizzled · K-dizzled · commit d8078b4aa4d9 · 2024-05-28T00:25:03.000+02:00
diff --git a/.github/workflows/publish-gh-pages.yml b/.github/workflows/publish-gh-pages.yml
@@ -2,7 +2,7 @@ name: Deploy Jekyll with GitHub Pages dependencies preinstalled
 
 on:
   push:
-    branches: ["main", "gh-website"]
+    branches: ["main"]
 
   workflow_dispatch:
 
diff --git a/_config.yml b/_config.yml
@@ -2,4 +2,4 @@ remote_theme: pages-themes/cayman@v0.2.0
 plugins:
 - jekyll-remote-theme
 
-title: [CoqPilot]
+title: CoqPilot
