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

#!/bin/sh

     2

     3

hg init

     4

echo This is file a1 > a

     5

hg add a

     6

hg commit -m "commit #0" -d "1000000 0"

     7

echo This is file b1 > b

     8

hg add b

     9

hg commit -m "commit #1" -d "1000000 0"

    10

hg update 0

    11

echo This is file c1 > c

    12

hg add c

    13

hg commit -m "commit #2" -d "1000000 0"

    14

hg merge 1

    15

rm b

    16

echo This is file c22 > c

    17

hg commit -m "commit #3" -d "1000000 0"