[glib: 2/2] Merge branch '1551-todo-ci' into 'master'

[Emmanuele Bassi <ebassi src gnome org>]

commit 5e20086edcad07a307db828310293047da36c8df
Merge: afde4a2c7 3f51963b2
Author: Emmanuele Bassi <ebassi gmail com>
Date:   Fri Jan 31 15:35:29 2020 +0000

    Merge branch '1551-todo-ci' into 'master'
    
    ci: Add checks for ‘TODO’ in merge requests
    
    Closes #1551
    
    See merge request GNOME/glib!794

 .gitlab-ci.yml                |  8 ++++
 .gitlab-ci/check-todos.py     | 89 +++++++++++++++++++++++++++++++++++++++++++
 .gitlab-ci/run-check-todos.sh | 16 ++++++++
 3 files changed, 113 insertions(+)
---