On 5 June 2013 23:53, Samuel Gaist <samuel.gaist at edeltech.ch> wrote: > > All right, but I've already pushed the changes to gerrit... > > Do I have another possibility to add this information ? Sure, git commit --amend, fix the commit message and repush. -- Giuseppe D'Angelo