Tag default/master not updated after pull and push
The default/master tag should point to the head of the master branch of the default remote repository.
However, if one adds commit on master and push, the default/master tag is not updated and is still on an old commit.
In this situation hg pull
displays no changes found
and the default/master tag is still on the old commit.