[at-spi2-core: 3/7] Reference the libgweather CI

[Federico Mena Quintero <federico src gnome org>]

commit 03134f6282d84faa722958b3cc8cb961e71e30f1
Author: Federico Mena Quintero <federico gnome org>
Date:   Wed Dec 15 12:20:27 2021 -0600

    Reference the libgweather CI

 devel-docs/gitlab-ci.md | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)
---
diff --git a/devel-docs/gitlab-ci.md b/devel-docs/gitlab-ci.md
index 333f6c86..b5706711 100644
--- a/devel-docs/gitlab-ci.md
+++ b/devel-docs/gitlab-ci.md
@@ -11,7 +11,7 @@ Table of contents:
 
 [[_TOC_]]
 
-## Quick overview
+# Quick overview
 
 By having a [`.gitlab-ci.yml`](../.gitlab-ci.yml) file in the toplevel
 directory of a project, Gitlab knows that it must run a continuous
@@ -52,7 +52,7 @@ where each job's artifacts will be stored.
 
 What's an artifact or a job?  Read on!
 
-## A little glossary
+# A little glossary
 
 **Pipeline** - A collection of **jobs**, which can be run in parallel
 or sequentially.  For example, a pair of "build" and "test" jobs would
@@ -95,7 +95,7 @@ not need to deal with containers directly, but keep in mind that your
 jobs will run inside a container, which is more limited than e.g. a
 shell session on a graphical, development machine.
 
-## The CI pipeline for at-spi2-core
+# The CI pipeline for at-spi2-core
 
 The `.gitlab-ci.yml` file is a more-or-less declarative description
 the CI pipeline, with some `script` sections which are imperative
@@ -142,10 +142,14 @@ The `analysis` stage has these jobs:
 As of 2021/Dec/15 there are some commented-out jobs to generate
 documentation and publish it; this needs to be made to work.
 
-## References
+# References
 
 Full documentation for Gitlab CI: https://docs.gitlab.com/ee/ci/
 
 Introduction to Gitlab CI: https://docs.gitlab.com/ee/ci/quick_start/index.html
 
+at-spi2-core's CI pipeline is mostly [cut-and-pasted from
+libgweather](https://gitlab.gnome.org/GNOME/libgweather/-/blob/main/.gitlab-ci.yml).
+Thanks to Emmanuele Bassi for his advice on how to use it.
+
 [OCI]: https://opencontainers.org/