[gjs: 6/6] Merge branch 'july-maintenance' into 'master'

[Philip Chimento <pchimento src gnome org>]

commit 0bf046114c38468f55ebc1c04cbab2e41b39c230
Merge: 580dec752 5bbfb173b
Author: Philip Chimento <philip chimento gmail com>
Date:   Tue Aug 9 05:09:58 2022 +0000

    Merge branch 'july-maintenance' into 'master'
    
    July maintenance
    
    See merge request GNOME/gjs!786

 doc/Modules.md      | 18 ++++++++++++------
 gjs/deprecation.cpp |  3 +--
 gjs/engine.cpp      | 16 ++++++++++------
 test/test-ci.sh     |  5 ++---
 4 files changed, 25 insertions(+), 17 deletions(-)
---