diff options
author | Egor Tensin <Egor.Tensin@gmail.com> | 2021-11-07 21:42:04 +0300 |
---|---|---|
committer | Egor Tensin <Egor.Tensin@gmail.com> | 2021-11-07 21:50:44 +0300 |
commit | f2f0517c9dc1aa0005563e59c8b730a31a2e04f7 (patch) | |
tree | 996b69e6c352ebda1ebc821a602fdd501bde8d8f /_includes | |
parent | README: update (diff) | |
download | jekyll-theme-f2f0517c9dc1aa0005563e59c8b730a31a2e04f7.tar.gz jekyll-theme-f2f0517c9dc1aa0005563e59c8b730a31a2e04f7.zip |
header: workaround jekyll-github-metadata bug?
Diffstat (limited to '')
-rw-r--r-- | _includes/common/header.html | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/_includes/common/header.html b/_includes/common/header.html index fc99302..a41b26e 100644 --- a/_includes/common/header.html +++ b/_includes/common/header.html @@ -7,8 +7,17 @@ {% assign project_name = site.settings.project.name %} {% unless project_name %} - {% if site.github && site.github.is_project_page %} - {% assign project_name = site.github.repository_name %} + {% if site.github %} + {% comment %} + What the damn hell? site.github.is_project_page is set to true even + for my root user site (the one with the .github.io suffix). + TODO: remove the following workaround and replace with a simple check + site.github.is_project_page above when this is fixed? + {% endcomment %} + {% capture assumed_user_name %}{{ site.github.owner_name }}.github.io{% endcapture %} + {% if site.github.repository_name != assumed_user_name %} + {% assign project_name = site.github.repository_name %} + {% endif %} {% endif %} {% endunless %} {% assign author_name = site.settings.author.name %} |