[sysadmin-bin: 2/2] Merge branch 'default_branch' into 'master'

[Andrea Veri <averi src gnome org>]

commit 59dcffe1333722ff16d1576865ff58f68a0abbf3
Merge: 2c1296a 26b6481
Author: Andrea Veri <andrea veri gmail com>
Date:   Fri Apr 26 08:36:30 2019 +0000

    Merge branch 'default_branch' into 'master'
    
    post-receive-mirror-github: Set default branch
    
    See merge request Infrastructure/sysadmin-bin!9

 git/post-receive-mirror-github | 20 +++++++++++++++-----
 1 file changed, 15 insertions(+), 5 deletions(-)
---