I got an email today saying that the repo maintenance emails are kinda spammy on the arch-dev-public list. What do you guys think about moving it off to another list. Either the private list, or the commits list? Opinions?