Merge branch 'dev' into chore/config

This commit is contained in:
Nuno Coração
2025-06-06 15:04:40 +01:00
committed by GitHub
28 changed files with 142 additions and 119 deletions

View File

@@ -30,6 +30,8 @@ disableTextInHeader = false
# smartTOC = true
# smartTOCHideUnfocusedChildren = true
fingerprintAlgorithm = "sha512" # Valid values are "sha512" (default), "sha384", "sha256"
giteaDefaultServer = "https://git.fsfe.org"
forgejoDefaultServer = "https://v8.next.forgejo.org"