From: Ruben Beltran del Rio <redacted>
Date: Sat, 14 May 2022 13:25:00 +0000 (+0200)
Subject: Remove gitlab CI
X-Git-Url: https://git.r.bdr.sh/rbdr/r.bdr.sh/commitdiff_plain/502d4db22821505d63ab92879e0894ccfe57e18e?ds=inline;hp=502d4db22821505d63ab92879e0894ccfe57e18e

Remove gitlab CI
---