search

jsdelivr / bot

DEPRECATED The jerk of a bot that checks PRs and responds in comments
22 stars 14 forks source link

Better error when wrong file name #41

Closed jimaek closed 9 years ago

jimaek commented 9 years ago

A user added info.txt instead of info.ini and he got this error

Might be nothing but I have some concerns about the files in your submission...

    string indices must be integers, not str

We need to add a better error explaining better what is wrong.

megawac commented 9 years ago

Can you link me the relevant PR this didn't work for

On Mon, May 4, 2015 at 1:18 PM, Dmitriy Akulov notifications@github.com wrote:

Assigned #41 https://github.com/jsdelivr/bot/issues/41 to @megawac https://github.com/megawac.

— Reply to this email directly or view it on GitHub https://github.com/jsdelivr/bot/issues/41#event-296451866.

jimaek commented 9 years ago

https://github.com/jsdelivr/jsdelivr/pull/4523

megawac commented 9 years ago

Fixed in c0e28b527, it was a simple bug