commit d22968f09893e39344e65f2675d739745c656ac8
from: ale <ale_bnes@tuta.com>
date: Sun Aug 16 20:11:44 2026 UTC

Fix wrong GitHub username in docs/make.jl (ale-bnes -> Richard7987)

The real GitHub mirror is Richard7987/AsteroidPipeline.jl. The wrong
username almost certainly made deploydocs' own repo-match safety check
silently skip the actual gh-pages push on the first real CI run (job
reported success, but no gh-pages branch was created).

commit - 3b8d4bae6c06829e607aea06d63bd35bf13b129f
commit + d22968f09893e39344e65f2675d739745c656ac8
blob - 02573bb4fc8847b0a41cf1810c08643dcf32809c
blob + b1b70e7059efaa8d274923fba29afcfbf30e065b
--- docs/make.jl
+++ docs/make.jl
@@ -20,12 +20,13 @@ makedocs(;
     modules=[AsteroidPipeline],
     authors="Alejandro",
     sitename="AsteroidPipeline.jl",
-    # Needed explicitly (not just inside `format=`): this repo has no git
-    # remote configured yet, and Documenter's own "edit this page" source
-    # links can't be auto-detected from one that doesn't exist.
-    repo="github.com/ale-bnes/AsteroidPipeline.jl.git",
+    # Needed explicitly (not just inside `format=`): the actual git remote
+    # (Forgejo, self-hosted) isn't github.com, so Documenter's own "edit
+    # this page" source-link auto-detection can't work here — this must
+    # match the *GitHub mirror* deploydocs below actually deploys to.
+    repo="github.com/Richard7987/AsteroidPipeline.jl.git",
     format=DocumenterVitepress.MarkdownVitepress(;
-        repo="github.com/ale-bnes/AsteroidPipeline.jl",
+        repo="github.com/Richard7987/AsteroidPipeline.jl",
         devbranch="main",
         devurl="dev",
     ),
@@ -45,7 +46,7 @@ makedocs(;
 )
 
 DocumenterVitepress.deploydocs(;
-    repo="github.com/ale-bnes/AsteroidPipeline.jl",
+    repo="github.com/Richard7987/AsteroidPipeline.jl",
     target=joinpath(@__DIR__, "build"),
     branch="gh-pages",
     devbranch="main",