odoo/odoo-extra — pull request #25 by ged-odoo (2014-07-23 10:35:26+00:00)
Title: Master fixes and optimizations ged

* Unbreak the search
* reduce the number of queries in controller repo (will do 1 query instead of 1 query for each branch)
* correctly notifies github at build creation (if duplicate)