From 9d76e6331bb2a4a1ff238391f1c5990e4e311f29 Mon Sep 17 00:00:00 2001
From: Abdullah Alfaraj <7842232+AbdullahAlfaraj@users.noreply.github.com>
Date: Mon, 6 Feb 2023 09:29:57 +0300
Subject: [PATCH] Rename publish_docs_to_wiki.yml to publish_docs_to_wiki

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

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