User-agent:
Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.17) Gecko/20110516 Thunderbird/3.1.10
When working on branches please push everyday on launchpad even if your
branches are not in working state. That's why we use branches it's ok if they
are work in progress and not yet ready to merge.
It allows us to monitor what's happening and spot eventual problems even
before a merge proposals.