[plt-dev] repository information

Eli wrote:

>   I think that it might be a good idea to have the first kind of
>   messages (the ones with the diffs) posted on this mailing list.  Any
>   objections?  (They have headers that clearly mark them as
>   originating from git, so it should be easy to ignore them but not
>   ignore any replies to them -- in case there's comments on some
>   code.)

Some of us get plt-dev as a digest. Now, I am eavesdropping to learn 
things, not as an active participant, so I have no right to complain, 
but I can't easily ignore messages in a digest. I'd have to unsubscribe. 
--PR