Hello,
I noticed that several commits I did in the past hour were not notified to sr-dev mailing list. Checking the github project setting, the web hook callback from github failed to execute, reporting timeout.
Apparently it just started to work again.
I will try to see if there is a way to trigger those notifications.
Cheers, Daniel