I did a series of commits into several Git repositories yesterday, but notification messages did not show up in the pkg-octave-commit mailing list. Does anyone know if there is any problem currently with our mailing list? Best, Rafael