[Insight-developers] Better be careful when using gerrit-merge

[Gelas, Arnaud Joel Florent]

Hi all,

By mistake I have typed git gerrit-merged on a branch instead of git gerrit-pushed.

I would have expected the server to stop me from merging the branch onto master, but not at all the branch was directly merged without any warnings...
I realized it and revert the commit, and open a JIRA ticket for this one: https://itk.icts.uiowa.edu/jira/browse/ITK-254

Be careful when using it!!

Arnaud