From 53defdbf4ee2121c6f692544a33b86ec1d181516 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Thu, 28 Dec 2023 10:58:07 +0000
Subject: [PATCH] Set default version to latest with mike 1.1.2