Graeme Yeates

@tomByrer a working regexp would be great, currently the check is something like file name contains `\bmin\b` and is less than 20 lines @jimaek this thread is getting cluttered, I'm...

Validate source maps https://github.com/mattrobenolt/python-sourcemap

@jimaek, have you taken a look at the bot app logs? On Tue, Feb 9, 2016 at 5:14 PM, Dmitriy Akulov [email protected] wrote: > Lately a lot of PRs are...

Not exactly, this is before it's added to the API (i.e. in the pull request if they include a `.mainfile`)

At a glance looks like authentication issues. Might be a gh api bug On Feb 10, 2016 3:29 AM, "Dmitriy Akulov" [email protected] wrote: > There are lots of errors, not...

First error looks like an issue retrieving data from the gh api (GH API gave an empty object back for the commits), I don't know if we should bother handling...

I'll look into it over weekend On Feb 23, 2016 6:38 AM, "Dmitriy Akulov" [email protected] wrote: > Hey any update on this? It happens every day multiple times. > >...

Also a warning ``` sh Please submit files along with the info.ini for project {project} ```

It would remove all the merge commits, but not sure if we should care https://github.com/jsdelivr/jsdelivr/commits/master

That is a github api issue, Github has been reporting inaccurate file modifications when the diff of the pull request contains too many files (more than 80 or something)