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.
#!/bin/sh
mkdir a
cd a
hg init
echo a > a
hg add a
hg commit -m test -d '0 0'
# Default operation
hg clone . ../b
cd ../b
cat a
hg verify
# No update
hg clone -U . ../c
cd ../c
cat a 2>/dev/null || echo "a not present"
hg verify
# Default destination
mkdir ../d
cd ../d
hg clone ../a
cd a
hg cat a