Skip to content

Commit 74917d5

Browse files
committed
Fix commit pinning
1 parent 6c8b6c5 commit 74917d5

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

build.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ to_upgrade="${2:-git+https://github.com/mkdocs/mkdocs.git}"
1515
info_dir="projects/${repo_name/\//--}"
1616
repo_dir="repos/${repo_name/\//--}"
1717

18-
[[ "$(head -1 "$info_dir/project.txt")" =~ ^https://github.com/([^/]+/[^/]+)/blob/([^/]+)/(.+)$ ]]
18+
[[ "$(tail -1 "$info_dir/project.txt")" =~ ^https://github.com/([^/]+/[^/]+)/raw/([^/]+)/(.+)$ ]]
1919
repo="${BASH_REMATCH[1]}"
2020
commit="${BASH_REMATCH[2]}"
2121
mkdocs_yml="${BASH_REMATCH[3]}"

0 commit comments

Comments
 (0)