equal
deleted
inserted
replaced
516 |
516 |
517 $ hg -R main push ssh://user@dummy/other -r e7ec4e813ba6 |
517 $ hg -R main push ssh://user@dummy/other -r e7ec4e813ba6 |
518 pushing to ssh://user@dummy/other |
518 pushing to ssh://user@dummy/other |
519 searching for changes |
519 searching for changes |
520 remote: Abandon ship! |
520 remote: Abandon ship! |
|
521 remote: (don't panic) |
521 abort: push failed on remote |
522 abort: push failed on remote |
522 (don't panic) |
|
523 [255] |
523 [255] |
524 |
524 |
525 $ hg -R main push http://localhost:$HGPORT2/ -r e7ec4e813ba6 |
525 $ hg -R main push http://localhost:$HGPORT2/ -r e7ec4e813ba6 |
526 pushing to http://localhost:$HGPORT2/ |
526 pushing to http://localhost:$HGPORT2/ |
527 searching for changes |
527 searching for changes |
528 remote: Abandon ship! |
528 remote: Abandon ship! |
|
529 remote: (don't panic) |
529 abort: push failed on remote |
530 abort: push failed on remote |
530 (don't panic) |
|
531 [255] |
531 [255] |
532 |
532 |
533 |
533 |
534 Doing the actual push: unknown mandatory parts |
534 Doing the actual push: unknown mandatory parts |
535 |
535 |