> From: Paul Smith <psm...@gnu.org> > Date: Tue, 20 Sep 2022 09:35:53 -0400 > > Is the hook for sending email on commits to git.sv.gnu.org working? > > I pushed a change this morning and didn't see any email about it.
I did receive a mail this morning with your push (I assume; if you tell me the SHA hash, I can verify).
