Git repository move to github and new mailing list