[gjs: 2/2] Merge branch 'shrink' into 'master'

[Philip Chimento <pchimento src gnome org>]

commit 77606980b4e0c1cb22a203f7184bd1a4a2209fbe
Merge: 466b459d fc95210f
Author: Philip Chimento <philip chimento gmail com>
Date:   Sat Jul 14 21:45:25 2018 +0000

    Merge branch 'shrink' into 'master'
    
    Use the 'deploy' as a stage name
    
    See merge request GNOME/gjs!193

 .gitlab-ci.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)
---