Fix dev docs deployment: set devbranch=main and update CI workflow

- Add devbranch = "main" to deploydocs so pushes to main deploy to
  the dev/ subfolder on GitHub Pages (was defaulting to "master")
- Update Documentation.yml: checkout@v4, setup-julia@v2, Julia 1.10
- Add permissions: contents: write so GITHUB_TOKEN can push gh-pages

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Author: cfranken

.github/workflows/Documentation.yml

@@ -6,15 +6,18 @@ on:
     tags: '*'
   pull_request:
 
+permissions:
+  contents: write
+
 jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v1
+      - uses: actions/checkout@v4
       - name: Set up Julia
-        uses: julia-actions/setup-julia@v1
+        uses: julia-actions/setup-julia@v2
         with:
-          version: '1.7'
+          version: '1.10'
       - name: Install Dependencies
         run: julia --project=docs/ -e 'ENV["PYTHON"]="";using Pkg; Pkg.instantiate();'
       - name: Build and deploy

docs/make.jl

@@ -45,5 +45,6 @@ build()
 deploydocs(
     repo = "github.com/RemoteSensingTools/CanopyOptics.jl.git",
     target = "build",
+    devbranch = "main",
     push_preview = true,
 )