Hi,
On 11/10/2015 09:06 AM, Petr Bena wrote:
Perhaps it would worth merging and putting to some
central location?
Yes, that sounds like a good idea. I typically recommend
<https://www.mediawiki.org/wiki/User:Wctaiwan/Gerrit_cheatsheet> to
people who are confused with git.
-- Legoktm