Michael Robinson

Would be good to implement a retry as mentioned here: https://stackoverflow.com/questions/18832643/how-to-catch-this-python-exception-error-errno-10054-an-existing-connection Should probably create a new issue if that's the case though.

Do we need all the binary files? It's generaly a bad idea to commit binaries to git w/o annex or something similar.

I thought of about that when doing it, but then I thought what if you do it by accident and have something in there you don't want, which could be...

Because the config isn't complicated enough ;)

1) Agreed. What about src or something though? 2) The problem with that is, if it's not an installed directory, we won't be able to know where it is. That's...

Started this on the packaging branch

This happens when you disconnect uncleanly from the web UI. The exception is not handled correctly as it's on a separate thread. Should definitely be fixed, but isn't a high...

I like this idea.

My latest PR simplifies multiple bots. You get a docker container for each bot and an nginx proxy that automatically points to the web interface of the bot. You can...

Thanks @ryanpeach , this is exactly what I needed, but couldn't figure out how to do.