On Fri, Aug 21, 2015 at 9:51 AM, Thomas Koch <tho...@koch.ro> wrote: > > Does anybody have contact to github? >
Yes, I do! I've pinged a friend at GitHub and CC:d the people who have participated in this thread so far. Let's see how that conversation goes. -- Asheesh.
