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

[Cory Quammen]

On Tue, Mar 29, 2011 at 3:28 PM, Brad King <brad.king at kitware.com> wrote:
> 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.

Sorry, I wrongly assumed that the robot was involved based on the
automated messages from the gerrit account "Kitware Robot" that are
usually added to a gerrit patch after a change has been merged.

> Somehow
> Gerrit missed this when it received the push.  The Change-Id does
> match correctly.
>
> We'll investigate.

Thanks!

Cory



-- 
Cory Quammen
Computer Integrated Systems for Microscopy and Manipulation (CISMM)
Department of Computer Science
University of North Carolina at Chapel Hill
http://www.cs.unc.edu/~cquammen