Report on push/pull if heads are merged, too, like for new heads. Use case: If a remote repo has two heads and I _want_ to merge them, I merge and push. Meanwhile someone else pushed on top of one of the heads. He won't get a warning, because he doesn't create a new head, I won't notice that I don't close a head, because I don't get a message telling me.

     1

(the addremove command is deprecated; use add and remove --after instead)

     2

adding dir/bar

     3

adding foo

     4

dir/bar

     5

foo

     6

(the addremove command is deprecated; use add and remove --after instead)

     7

adding dir/bar_2

     8

adding foo_2

     9

dir/bar_2

    10

foo_2