From db83978d3245bfdf83508e649e4310686e00cd42 Mon Sep 17 00:00:00 2001 From: squidfunk Date: Tue, 1 Jun 2021 08:50:44 +0200 Subject: [PATCH] Updated note on now removed Docker image for Insiders --- docs/insiders/getting-started.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/insiders/getting-started.md b/docs/insiders/getting-started.md index dc5041fea..da94b1b3d 100644 --- a/docs/insiders/getting-started.md +++ b/docs/insiders/getting-started.md @@ -80,7 +80,7 @@ docker pull ghcr.io/${GH_USERNAME}/mkdocs-material-insiders [^1]: Earlier, Insiders provided a dedicated Docker image which was available to all sponsors. On March 21, 2021, the image was deprecated for the reasons - outlined and discussed in #2442. It will be removed on June 1, 2021. + outlined and discussed in #2442. It was removed on June 1, 2021. [^2]: When forking a repository, GitHub will disables all workflows. While this