[Pharo-dev] Iceberg merged pull requests?

I saw that two pull requests were accepted and merged into the development branch. I had expected that Iceberg would show me them somewhere. However, in the branches pane of my repository the status pharo-project/development is shown as Up to date. Shouldn't there be some indication that new code is available to be merged, or am I misunderstanding Iceberg? Bernhard