Hi, > Another question would be what to forward to this list. We could: > > * Forward git pushs (aka. commits). IMO the rss feeds work good enough > so I would not do this > * Forward messages about new/changed tickets in the bugtracker. I'd be > in favor of this. Both ok for me. -- Michael Beck