From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 14 Nov 2025 18:55:27 +0000 (+0000)
Subject: Merge branch 'salsa-ci' into service-file
X-Git-Tag: userv-1.2.3~1^2~1
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=142796f57d543fbfc55fb8d36f3516fad925b4bc;p=userv.git

Merge branch 'salsa-ci' into service-file
---

142796f57d543fbfc55fb8d36f3516fad925b4bc