[help.gnome.org: 14/14] Merge branch 'ci-pipeline' into 'master'

[Bartłomiej Piotrowski <bpiotrowski src gnome org>]

commit 29decccff7c75b129443e210c5e9968e62345c3c
Merge: e18519c c0d8eb6
Author: Bartłomiej Piotrowski <bpiotrowski gnome org>
Date:   Wed Nov 24 07:36:40 2021 +0000

    Merge branch 'ci-pipeline' into 'master'
    
    ci: Add a pipeline for building the website
    
    See merge request Infrastructure/help.gnome.org!3

 .gitlab-ci.yml | 87 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
 APPS.yaml      |  2 ++
 configger.py   | 12 +++++---
 pintail.cfg    | 24 ++++++++--------
 4 files changed, 109 insertions(+), 16 deletions(-)
---