[arch-dev-public] Move repo-maint emails to the arch-commits list?

[Aaron Griffin]

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?