From fc8719d8dd4cd1a73acd482b53c7ecf04fe84fd4 Mon Sep 17 00:00:00 2001 From: Jens Caers Date: Sun, 30 Aug 2026 23:26:17 +0200 Subject: [PATCH] repo: remove cross-project scratch directory