[Insight-developers] Possible change in gerrit behavior

[Bill Lorensen]

Gerrit gurus,

I believe I have done this in the past:

1) git checkout -b MyTopic
2) git gerrit-push
3) git checkout master
4) git pull
5) get checkout MyTopic
6) git gerrit-merge

The topic is merged successfully, but gerrit never changes the topic to merged.

This has happened to me twice:

For example, this gerrit topic
http://review.source.kitware.com/#change,3078 was merged here
http://itk.org/gitweb?p=ITK.git;a=commit;h=0cbfb835f64daf3ae8db70a072bba5c88015cb43
but was never nerged on gerrit.

Has something changed?

Bill