From d768c40a37aa4f01963b210148ff23de82c6eab0 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Wed, 5 Jun 2024 17:38:43 +0000
Subject: [PATCH] Set title of master to stable with mike 1.1.2