@benbalter should we use the Google Group you created as a public email list for the commit log? Github doesn’t yet support this natively, so we need to set up a mailing list somewhere.