Fix platform keyword

This commit is contained in:
Michael Hübner 2025-07-14 14:37:41 +02:00
parent c971e3156c
commit 72136c32e6

View file

@ -104,7 +104,7 @@ in
settings = { settings = {
endpoint = "https://pts-paper.de/api/v1/"; endpoint = "https://pts-paper.de/api/v1/";
persistRepoData = true; persistRepoData = true;
platform = "forgejo"; platform = "gitea";
autodiscover = true; autodiscover = true;
onboardingConfig = { onboardingConfig = {
extends = [ "config:recommended" ]; extends = [ "config:recommended" ];