<div dir="ltr">On Wed, Mar 13, 2013 at 11:24 PM, Jon Simpson <span dir="ltr"><<a href="mailto:me@jonsimpson.co.uk" target="_blank">me@jonsimpson.co.uk</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">It might be worth improving on that list of known authors, either via<br>
a pass around this list, or individual e-mails to people who currently<br>
aren't matching and tidying up a preferred canonical e-mail list.<br>
Perhaps a small (week?) grace period to collate responses, then move<br>
forward - to avoid blocking as it's trivial overall.<br></blockquote><div><br></div><div style>I think we consider the Github move "not done" until we declare it "done." </div><div style><br></div>
<div style>Or: yes, we should probably poke this a bit more with a stick.</div><div style><br></div><div style>:)</div><div style><br></div><div style>Cheers,</div><div style>M</div><div><br></div></div></div></div>