2. Create a new mailing list for commits, and have all comitters on it
(as well as anyone else who wants to be on it). Leave plt-dev
alone.
I vote for #2. There are clearly people interested in getting these
messages, and there should be a standard way for anyone to get them.
On the other hand, there are people generous enough to contribute
their time and attention to plt-dev, and if they don't want a deluge
of [what is to them] spam, they shouldn't have to put up with it from
us.
+1
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
