tree 70f26adcc6b60f9252ee408ce6d849d8deb57d96
parent aed17a84ce59086c9dd862d62a3eda77eb64b881
author David Ostrovsky <david@ostrovsky.org> 1701075051 +0100
committer GitHub <noreply@github.com> 1701075051 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJlZFhrCRBK7hj4Ov3rIwAAHgEIADztRgBicR82vaRjKloT01MV
 IjiTsnJNsg/qs5NVzuoARIbtBUQOy3igqhh4eaRvuzC7andgr9R5buqN6U6g0hNH
 oWwpYXuEOfy7EZPa8lTby3XcGLe6WWyOD9VZ+CUkUlQvpMojQ0Vic4aI3yxaDjSL
 K31SZObykt8X5djIw9oqDDOxXbMSyX+PnGyT6kQ91hC0U9E/R5/w7Ds5dzqE/3i5
 t4woTdJDj+V7WPfVUTfCPsMqNhKUVgZ99wUhr+G+Ud3dCw835qmKmKvWSbqi+p6H
 PZq0gvRo9VLO1XuCI+vO2mK41L8vaCjFRQP4VGxIaYbDXyGGhg1NW7vwPOBVGvY=
 =CsfH
 -----END PGP SIGNATURE-----
 

Further adapt gerrit pipeline (#1815)