From 0e7354c209461dc370e17bf16cfa6952614f8627 Mon Sep 17 00:00:00 2001
From: Kevin Bonham <dev@bonham.ch>
Date: Wed, 5 Aug 2026 10:08:07 -0400
Subject: [PATCH 1/3] Put https

---
 docs/make.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/make.jl b/docs/make.jl
index 91c735b..7c3e1f7 100644
--- a/docs/make.jl
+++ b/docs/make.jl
@@ -13,7 +13,7 @@ makedocs(
         repo = "https://github.com/BioJulia/biojulia.github.io",
         devbranch = "main",
         devurl = "dev",
-        deploy_url = "biojulia.dev",
+        deploy_url = "https://biojulia.dev",
     ),
     pages = [
         # Showcase of Cool Examples

From 5132c546cf33ba29f0313c24d0ddce87693557d4 Mon Sep 17 00:00:00 2001
From: Kevin Bonham <dev@bonham.ch>
Date: Wed, 5 Aug 2026 11:23:30 -0400
Subject: [PATCH 2/3] Re-try deployment

---
 .github/workflows/pr_comment.yml | 2 +-
 docs/Project.toml                | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/pr_comment.yml b/.github/workflows/pr_comment.yml
index c7d29b6..f7f0822 100644
--- a/.github/workflows/pr_comment.yml
+++ b/.github/workflows/pr_comment.yml
@@ -10,5 +10,5 @@ jobs:
         if: github.event_name == 'pull_request' && github.repository == github.event.pull_request.head.repo.full_name # if this is a pull request build AND the pull request is NOT made from a fork
         uses: thollander/actions-comment-pull-request@71efef56b184328c7ef1f213577c3a90edaa4aff
         with:
-          message: 'Once the build has completed, you can preview your PR at this URL: https://biojulia.dev/BiojuliaDocs/previews/PR${{ github.event.number }}/'
+          message: 'Once the build has completed, you can preview your PR at this URL: https://biojulia.dev/previews/PR${{ github.event.number }}/'
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
diff --git a/docs/Project.toml b/docs/Project.toml
index 0e99887..94f8b00 100644
--- a/docs/Project.toml
+++ b/docs/Project.toml
@@ -20,3 +20,6 @@ PopGen = "af524d12-c74b-11e9-22a8-3b091653023f"
 ReadDatastores = "70a005b8-9d8a-11e9-0d98-c909fa2e52d2"
 SubstitutionModels = "8365b1bb-bd83-58ee-a267-f2965fc81c73"
 XAM = "d759349c-bcba-11e9-07c2-5b90f8f05f7c"
+
+[compat]
+DocumenterVitepress = "0.3"

From ac63916da0c095af3735b0fc3da9834a7e82d40c Mon Sep 17 00:00:00 2001
From: Kevin Bonham <dev@bonham.ch>
Date: Wed, 5 Aug 2026 11:54:54 -0400
Subject: [PATCH 3/3] give write permissions for pull requests

---
 .github/workflows/pr_comment.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/pr_comment.yml b/.github/workflows/pr_comment.yml
index f7f0822..58cec3e 100644
--- a/.github/workflows/pr_comment.yml
+++ b/.github/workflows/pr_comment.yml
@@ -5,6 +5,8 @@ on:
 jobs:
   pr_comment:
     runs-on: ubuntu-latest
+    permissions:
+      pull-requests: write
     steps:
       - name: Create PR comment
         if: github.event_name == 'pull_request' && github.repository == github.event.pull_request.head.repo.full_name # if this is a pull request build AND the pull request is NOT made from a fork