On Mon, Jun 15, 2015 at 04:07:20PM +0300, Nikolai Kondrashov wrote: > Otherwise, we can write to GitHub support and ask > what can be done. Stephen did that while we were having this discussion :-)