Hi, Are merge requests supposed to trigger an email to the mantainer of repositories in git.sugarlabs.org? I think they are not happening, but they should. Who would know? Thanks! Sebastian