From 5fc8fd623b465bf970f53727367f541957fc7956 Mon Sep 17 00:00:00 2001
From: "U. N. Owen" <15646950+MM2-0@users.noreply.github.com>
Date: Sun, 9 Oct 2022 22:23:48 +0200
Subject: [PATCH] Rename deploy-docs to deploy-docs.yml

---
 .github/workflows/{deploy-docs => deploy-docs.yml} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename .github/workflows/{deploy-docs => deploy-docs.yml} (100%)

diff --git a/.github/workflows/deploy-docs b/.github/workflows/deploy-docs.yml
similarity index 100%
rename from .github/workflows/deploy-docs
rename to .github/workflows/deploy-docs.yml