4 Jul
2008
4 Jul
'08
6:10 a.m.
On Fri, Jul 04, 2008 at 08:03:14 +0200, Johannes Winkelmann wrote: [...]
Our current hook does just the following procedure, for every commit that gets pushed: if "[notify]" is in the commit message: send an e-mail to both crux@ and crux-commits@ otherwise: send a mail to crux-commits@ only
(in reality, we create a list of ^ just ignore that, that's a leftover from a previous formulation, combined with lack of coffee :-).
Regards, Johannes -- Johannes Winkelmann mailto:jw@smts.ch Zurich, Switzerland http://jw.smts.ch