From fadb7c2a91123639a673d0bab2403499040207bf Mon Sep 17 00:00:00 2001
From: MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz>
Date: Mon, 22 Jul 2024 17:31:39 +0200
Subject: [PATCH] lint: Add missing docker.io prefix to ci/lint_imagefile

---
 ci/lint_imagefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/lint_imagefile b/ci/lint_imagefile
index 9adc256a625..0e7ede52043 100644
--- a/ci/lint_imagefile
+++ b/ci/lint_imagefile
@@ -4,7 +4,7 @@
 
 # See test/lint/README.md for usage.
 
-FROM debian:bookworm
+FROM docker.io/debian:bookworm
 
 ENV DEBIAN_FRONTEND=noninteractive
 ENV LC_ALL=C.UTF-8