70   remote: adding changesets

    70   remote: adding changesets

    71   remote: adding manifests

    71   remote: adding manifests

    72   remote: adding file changes

    72   remote: adding file changes

    73   remote: added 1 changesets with 1 changes to 1 files (+1 heads)

    73   remote: added 1 changesets with 1 changes to 1 files (+1 heads)

    74   pushing 2 obsolescence markers (171 bytes)

    74   pushing 2 obsolescence markers (171 bytes)

    75   $ hg push

    76   $ hg push

    76   pushing to ssh://user@dummy/server

    77   pushing to ssh://user@dummy/server

    77   searching for changes

    78   searching for changes

    78   no changes found

    79   no changes found

    79   [1]

    80   [1]