buttonmen-dev/buttonmen — pull request #734 by cgolubi1 (2014-03-17 01:16:26+00:00)
Title: add jota account permissions to jenkins config

* Needed for #733
* No jenkins, because it's a change in deploy/ only