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