* Add bot instructions to runbot.sh
* If nothing has to be pushed to the database, don't open a connection
Merge branch 'master' of github.com:gentimouton/rcat