Hi Paul,
Paul Smith wrote:
> > I pushed a change this morning and didn't see any email about it.
>
> 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...)
There isn't any intentional mailing list delays. But on this last
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 th
> From: Paul Smith
> 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
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!