From 7e2b882225974477d532d80aea7c89c187df23ad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9mi=20NICOLE?= <minijackson@users.noreply.github.com>
Date: Mon, 16 Dec 2024 15:58:43 +0100
Subject: [PATCH] Merge pull request #223 from
 minijackson/fix-book-master-branch-name

github/book-gh-pages: fix master branch name