From f5c1c5690fc040cf40545adc5a0aa63e0ca0e7a0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Brunner?= <stephane.brunner@camptocamp.com>
Date: Mon, 13 Nov 2023 14:57:15 +0000
Subject: [PATCH] [skip ci] Add instructions to finish the backport

---
 BACKPORT_TODO | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 BACKPORT_TODO

diff --git a/BACKPORT_TODO b/BACKPORT_TODO
new file mode 100644
index 000000000000..ef442f0f08af
--- /dev/null
+++ b/BACKPORT_TODO
@@ -0,0 +1,8 @@
+Error on backporting to branch master, error on cherry picking d6a1cd14ed4c3c18fd3879af9c345cac444c9fd7:
+
+
+
+To continue do:
+git fetch && git checkout backport/9249-to-master && git reset --hard HEAD^
+git cherry-pick d6a1cd14ed4c3c18fd3879af9c345cac444c9fd7
+git push origin backport/9249-to-master --force