From 3bc61aac087eb566f2ff9cde67c57cd3204e0e1f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Viktor=20Sz=C3=A9pe?= <viktor@szepe.net>
Date: Sat, 28 Oct 2023 19:25:59 +0000
Subject: [PATCH] Fix name of Markdown workflow

---
 .github/workflows/{docs.yml => markdown.yml} | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 rename .github/workflows/{docs.yml => markdown.yml} (98%)

diff --git a/.github/workflows/docs.yml b/.github/workflows/markdown.yml
similarity index 98%
rename from .github/workflows/docs.yml
rename to .github/workflows/markdown.yml
index 631ae42..f529ee4 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/markdown.yml
@@ -1,6 +1,6 @@
 # yaml-language-server: $schema=https://json.schemastore.org/github-workflow
 
-name: "Docs"
+name: "Markdown"
 
 on:  # yamllint disable-line rule:truthy
     pull_request: