[sysadmin-bin: 6/6] Merge branch 'unhardcode-mainline' into 'master'

[Andrea Veri <averi src gnome org>]

commit c3a3aaf4a671330db6579a149d8efa15219df9d3
Merge: 175e09a bfc14d3
Author: Andrea Veri <andrea veri gmail com>
Date:   Tue Apr 9 14:49:42 2019 +0000

    Merge branch 'unhardcode-mainline' into 'master'
    
    Remove hardcoded mainline branch name
    
    See merge request Infrastructure/sysadmin-bin!6

 git/git.py                          | 11 +++++++++++
 git/gnome-post-receive-email        | 12 ++++++++++--
 git/post-receive-mirror-github      |  7 ++++++-
 git/post-receive-notify-cia         |  6 +++++-
 git/post-receive-notify-kgb         |  6 +++++-
 git/post-receive-update-description | 10 +++++++---
 git/pre-receive-check-maintainers   | 10 +++++++---
 git/pre-receive-check-po            |  6 +++++-
 git/pre-receive-check-policy        | 11 ++++++++---
 git/update-all-info                 |  9 +++++++--
 gitlab/gitlab-operations.py         | 15 ++++++++++-----
 gnomeweb/update_sites.py            | 13 +++++++++----
 12 files changed, 90 insertions(+), 26 deletions(-)
---