git plugin which (hopefully) allows bot to be updated remotely