From 2323319dc23b1c462e38cf5d50b4ef71dc715d33 Mon Sep 17 00:00:00 2001 From: Jonathan Miller Date: Tue, 12 May 2026 14:14:31 -0500 Subject: [PATCH] chore: rename .manifest.xml to manifest.xml [skip ci] --- .mokogitea/{.manifest.xml => manifest.xml} | 0 .mokogitea/workflows/pr-check.yml | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename .mokogitea/{.manifest.xml => manifest.xml} (100%) diff --git a/.mokogitea/.manifest.xml b/.mokogitea/manifest.xml similarity index 100% rename from .mokogitea/.manifest.xml rename to .mokogitea/manifest.xml diff --git a/.mokogitea/workflows/pr-check.yml b/.mokogitea/workflows/pr-check.yml index 7c91261..6d540d4 100644 --- a/.mokogitea/workflows/pr-check.yml +++ b/.mokogitea/workflows/pr-check.yml @@ -108,7 +108,7 @@ jobs: - name: Detect platform id: platform run: | - PLATFORM=$(cat .mokogitea/.manifest.xml 2>/dev/null | tr -d '[:space:]') + PLATFORM=$(cat .mokogitea/manifest.xml 2>/dev/null | tr -d '[:space:]') [ -z "$PLATFORM" ] && PLATFORM="generic" echo "platform=$PLATFORM" >> "$GITHUB_OUTPUT"