Re: [Savannah-hackers-public] getting gawk-diffs mailing list?

[Karl Berry]

    Just pushed a change:

Evidently didn't make it through -- nothing in the gawk-diffs moderation
queue, nothing in the list archives.

I don't how to set up notifications for git and don't see any info in
the sv wiki.  Oh, evidently it's something about "cia", judging
/root/infra/git.txt, but there's too much/not enough info in there for
me to want to try to guess what the right commands are.  So I can only
hope that someone who does know (Sylvain, Jim?) make it happen.

Best,
karl