On Tue, 2022-09-20 at 09:35 -0400, Paul Smith wrote: > 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. > > Cheers!
Got the email about 4 hours later; apparently there's some lag in the system (I just got this email, about 4.5 hours later...)