From: Ruben Beltran del Rio Date: Sat, 16 Oct 2021 13:12:32 +0000 (+0200) Subject: Add the CI deployment files X-Git-Url: https://git.r.bdr.sh/rbdr/prompt/commitdiff_plain/f7f0ed4c2a195ee3b7fc0e8acb0283c817a0f927?hp=f7f0ed4c2a195ee3b7fc0e8acb0283c817a0f927 Add the CI deployment files ---