[Insight-developers] Gerrit missed merge (was: Kitware Robot missed merge)

[Brad King]

On 03/29/2011 02:43 PM, Cory Quammen wrote:
> I recently merged this change
> 
> http://review.source.kitware.com/1265
> 
> but the Kitware Robot has not marked it as merged in gerrit after
> about a day. It may be relevant that I changed the name of the topic
> branch between the first and second patches.
> 
> Is there a manual way to mark the change as merged? I could abandon
> the patch, but that would be misleading for future ITK historians.

The Kitware Robot has nothing to do with this.  It just mirrors the
itk.org/ITK.git repository over to the Gerrit instance.  Somehow
Gerrit missed this when it received the push.  The Change-Id does
match correctly.

We'll investigate.

-Brad