Fix GitHub status update when repo does not end with .jl. (#1287)

(cherry picked from commit 204ca20, PR #1287)
JuliaDocs · Apr 10, 2020 · d984088 · d984088
1 parent 009640c
commit d984088
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/deployconfig.jl b/src/deployconfig.jl
@@ -347,7 +347,7 @@ function post_github_status(type::S, deploydocs_repo::S, sha::S, subfolder=nothi
     try
         Sys.which("curl") === nothing && return
         ## Extract owner and repository name
-        m = match(r"^github.com\/(.+?)\/(.+?\.jl)(.git)?$", deploydocs_repo)
+        m = match(r"^github.com\/(.+?)\/(.+?)(.git)?$", deploydocs_repo)
         m === nothing && return
         owner = String(m.captures[1])
         repo = String(m.captures[2])