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

mkdir t

     4

cd t

     5

hg init

     6

echo 0 > a

     7

echo 0 > b

     8

hg ci -A -m m -d "1000000 0"

     9

hg rm a

    10

hg cat a

    11

sleep 1 # make sure mtime is changed

    12

echo 1 > b

    13

hg ci -m m -d "1000000 0"

    14

echo 2 > b

    15

hg cat -r 0 a

    16

hg cat -r 0 b

    17

hg cat -r 1 a

    18

hg cat -r 1 b