Re: github wrangling

[Andrew Phillips]

+1 for biting the bullet now and changing the group ID. Can we do some  
proactive messaging to prepare people for the change that's going to  
be required, e.g. publish a blog and an early heads-up to the user@  
list?

ap