docs: set up mirroring

Author: MilesCranmer

.github/workflows/CI.yml

@@ -82,6 +82,7 @@ jobs:
       - uses: julia-actions/julia-docdeploy@v1
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          DOCUMENTER_KEY_CAM: ${{ secrets.DAMTP_DEPLOY_KEY }}
       - run: |
           julia --project=docs -e '
             using Documenter: DocMeta, doctest

docs/make.jl

@@ -36,7 +36,7 @@ makedocs(;
     sitename="BorrowChecker.jl",
     format=Documenter.HTML(;
         prettyurls=get(ENV, "CI", "false") == "true",
-        canonical="https://astroautomata.com/BorrowChecker.jl",
+        canonical="https://ai.damtp.cam.ac.uk/borrowcheckerjl",
         edit_link="main",
         assets=String[],
         repolink="https://github.com/mcranmer/BorrowChecker.jl",
@@ -46,3 +46,11 @@ makedocs(;
 )
 
 deploydocs(; repo="github.com/MilesCranmer/BorrowChecker.jl", devbranch="main")
+
+# Mirror to DAMTP:
+ENV["DOCUMENTER_KEY"] = ENV["DOCUMENTER_KEY_CAM"]
+ENV["GITHUB_REPOSITORY"] = "ai-damtp-cam-ac-uk/borrowcheckerjl.git"
+deploydocs(;
+    repo="github.com/ai-damtp-cam-ac-uk/borrowcheckerjl.git",
+    devbranch="main"
+)