From 3bd8ce9b144e649f872f5f0f9425c5f2d19f0d21 Mon Sep 17 00:00:00 2001 From: albert Date: Fri, 15 Dec 2023 19:02:43 +0100 Subject: [PATCH] Fix #1357, Use new default branch name "main" This requires changes in * the GitHub Pages deployment config * a few HTML page templates, where the default branch name is included in links to the repo (stylized as "Improve this page" in the English version of the live docs webpage) --- .github/workflows/deploy.yml | 2 +- layouts/_default/single.html | 2 +- layouts/index.html | 2 +- layouts/partials/footer.html | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index e5df6c88..6e1e26c1 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -3,7 +3,7 @@ name: Deploy on Github Pages on: push: branches: - - master + - main # Allows you to run this workflow manually from the Actions tab workflow_dispatch: diff --git a/layouts/_default/single.html b/layouts/_default/single.html index a9e2ecd5..13a6ff67 100644 --- a/layouts/_default/single.html +++ b/layouts/_default/single.html @@ -11,7 +11,7 @@ {{ .Content }}

- {{ i18n "lastUpdated" }} {{ .Lastmod.Format "January 2, 2006" }}{{ with .File }} · {{ i18n "improvePage" }}{{ end }} + {{ i18n "lastUpdated" }} {{ .Lastmod.Format "January 2, 2006" }}{{ with .File }} · {{ i18n "improvePage" }}{{ end }} {{ if .IsTranslated }}
diff --git a/layouts/index.html b/layouts/index.html index 87feefa8..9e037302 100644 --- a/layouts/index.html +++ b/layouts/index.html @@ -11,7 +11,7 @@ {{ .Content }}

- {{ i18n "lastUpdated" }} {{ i18n "lastUpdatedDateFormat" .Lastmod }}{{ with .File }} · {{ i18n "improvePage" }}{{ end }} + {{ i18n "lastUpdated" }} {{ i18n "lastUpdatedDateFormat" .Lastmod }}{{ with .File }} · {{ i18n "improvePage" }}{{ end }} {{ if .IsTranslated }}
diff --git a/layouts/partials/footer.html b/layouts/partials/footer.html index 09f2c276..56bccdc5 100644 --- a/layouts/partials/footer.html +++ b/layouts/partials/footer.html @@ -35,5 +35,5 @@ {{ i18n "joinMastodon" }} · {{ i18n "blog" }} ·

- +