From 5e4146022f476d4c53a5e034ce77d528071bcc32 Mon Sep 17 00:00:00 2001
From: Ennio Visconti <ennio.visconti@gmail.com>
Date: Wed, 29 Nov 2023 22:57:30 +0100
Subject: [PATCH] ci: removed legacy branch name for workflow

---
 .github/workflows/docs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 9e7a7e99..97c44a11 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -2,7 +2,7 @@ name: Generate Docs
 
 on:
   push:
-    branches: ["master", "mfr-logic"]
+    branches: ["master"]
   workflow_dispatch:
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages