[docs] use GITHUB_TOKEN when downloading from GitHub (#4008)

Author: odow

docs/make.jl

@@ -165,7 +165,8 @@ for (solver, data) in TOML.parsefile(joinpath(@__DIR__, "packages.toml"))
     out_filename = joinpath(@__DIR__, "src", "packages", "$solver.md")
     Downloads.download(
         "https://raw.githubusercontent.com/$user/$solver.jl/$tag/$filename",
-        out_filename,
+        out_filename;
+        headers = Dict("Authorization" => "token " * ENV["GITHUB_TOKEN"]),
     )
     _add_edit_url(
         out_filename,