From 8cf640ee50b90ba8da9e0bf30f9893579e936d1c Mon Sep 17 00:00:00 2001 From: "Ralf W. Grosse-Kunstleve" Date: Mon, 18 May 2026 09:53:41 -0700 Subject: [PATCH] Add a short toolshed/README.md --- toolshed/README.md | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 toolshed/README.md diff --git a/toolshed/README.md b/toolshed/README.md new file mode 100644 index 0000000000..770dba894e --- /dev/null +++ b/toolshed/README.md @@ -0,0 +1,10 @@ +# Shared Toolshed + +This directory is a shared scratchpad for scripts that are useful +intermittently, such as environment bootstrap helpers, ad-hoc reproducers, and +glue for manual workflows. These tools do not warrant CI coverage, unit tests, +or the rest of the production-code apparatus. + +Entries may bitrot between uses. Keeping them in a shared, versioned location +gives the next person who needs the same workflow a better starting point than +starting from scratch.