From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Fri, 14 Nov 2025 19:38:33 +0000 (+0000)
Subject: Merge branch 'salsa-ci' into 'main'
X-Git-Tag: userv-1.2.3~2
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=a487ee790f779de1d50a09d8aa3b34737d39fee9;p=userv.git

Merge branch 'salsa-ci' into 'main'

Provide gitlab CI configuration

See merge request iwj/userv!1
---

a487ee790f779de1d50a09d8aa3b34737d39fee9