Can you open a pull request back to the original repo? Github's tools for commenting and discussing changes are better with pull requests than with only commits. Thanks! J > On 7 Apr 2019, at 12:59, Александр Слесарев <alexander.g.slesarev at gmail.com> wrote: > > I have pushed my proposal draft. -- James Aylett devfort.com — spacelog.org — tartarus.org/james/