| changeset 25 | 709f9a3b120e |
| parent 10 | ed98b8ea395d |
| child 42 | 2431e6a9344a |
| 24:a26580f0890a | 25:709f9a3b120e |
|---|---|
12 hg pull $@ |
12 hg pull $@ |
13 local j=$(hg id -r tip --num) |
13 local j=$(hg id -r tip --num) |
14 local j_h=$(hg id -r tip --id) |
14 local j_h=$(hg id -r tip --id) |
15 |
15 |
16 if (( $i != $j ));then |
16 if (( $i != $j ));then |
17 hg log --quiet --style=changelog -r "not ancestors($i)" |
17 hg log --quiet --style=changelog -r "$i:$j and not $i" |
18 print "\nPulled from ${i_h} to ${j_h}." |
18 print "\nPulled from ${i_h} to ${j_h}." |
19 fi |
19 fi |
20 } |
20 } |