Re: GitHub? GitHub.

I've moved the editor's draft to
I'd like to follow Brad's advice, and publish a new working draft based on
that document. I'll start a new thread to kick off that process.

Going forward, I'll be using to make
changes; pull requests happily accepted!

Thanks to Brad and Wendy for getting this set up!


Mike West <>
Google+:, Twitter: @mikewest, Cell: +49 162 10 255 91

Google Germany GmbH, Dienerstrasse 12, 80331 München, Germany
Registergericht und -nummer: Hamburg, HRB 86891
Sitz der Gesellschaft: Hamburg
Geschäftsführer: Graham Law, Christine Elizabeth Flores
(Sorry; I'm legally required to add this exciting detail to emails. Bleh.)

On Mon, Dec 30, 2013 at 7:27 PM, Hill, Brad <> wrote:

>       I'd like to move the official repository to the
> organization as well, if no one objects. I think
> that'll make collaboration (especially patch suggestions!) simpler for
> everyone.
> Brad, is there an official "Call for Moving to GitHub" style in which I
> ought to phrase this request? :)
> *[Hill, Brad] Do it.  As an Editor, the pre-publication tool chain is at
> your discretion.  We probably should publish another WD soon, though, if
> we’re not ready for Last Call in the very near future, and update the
> “latest Editor’s Draft” link to point to the new repo.*

Received on Friday, 3 January 2014 09:38:04 UTC