move to github repo for mailman