| 1 | #!/bin/sh |
| 2 | # |
| 3 | # ,---E--. *H----------. * marks !TREESAME parent paths |
| 4 | # / \ / \* |
| 5 | # *A--*B---D--*F-*G---------K-*L-*M |
| 6 | # \ /* \ / |
| 7 | # `-C-' `-*I-*J |
| 8 | # |
| 9 | # A creates "file", B and F change it. |
| 10 | # Odd merge G takes the old version from B. |
| 11 | # I changes it, but J reverts it, so K is TREESAME to both parents. |
| 12 | # H and L both change "file", and M merges those changes. |
| 13 | |
| 14 | test_description='TREESAME and limiting' |
| 15 | |
| 16 | GIT_TEST_DEFAULT_INITIAL_BRANCH_NAME=main |
| 17 | export GIT_TEST_DEFAULT_INITIAL_BRANCH_NAME |
| 18 | |
| 19 | . ./test-lib.sh |
| 20 | |
| 21 | note () { |
| 22 | git tag "$1" |
| 23 | } |
| 24 | |
| 25 | unnote () { |
| 26 | git name-rev --tags --annotate-stdin | \ |
| 27 | sed -e "s|$OID_REGEX (tags/\([^)]*\))\([ ]\)|\1\2|g" |
| 28 | } |
| 29 | |
| 30 | test_expect_success setup ' |
| 31 | test_commit "Initial file" file "Hi there" A && |
| 32 | git branch other-branch && |
| 33 | |
| 34 | test_commit "file=Hello" file "Hello" B && |
| 35 | git branch third-branch && |
| 36 | |
| 37 | git checkout other-branch && |
| 38 | test_commit "Added other" other "Hello" C && |
| 39 | |
| 40 | git checkout main && |
| 41 | test_merge D other-branch && |
| 42 | |
| 43 | git checkout third-branch && |
| 44 | test_commit "Third file" third "Nothing" E && |
| 45 | |
| 46 | git checkout main && |
| 47 | test_commit "file=Blah" file "Blah" F && |
| 48 | |
| 49 | test_tick && git merge --no-commit third-branch && |
| 50 | git checkout third-branch file && |
| 51 | git commit && |
| 52 | note G && |
| 53 | git branch fiddler-branch && |
| 54 | |
| 55 | git checkout -b part2-branch && |
| 56 | test_commit "file=Part 2" file "Part 2" H && |
| 57 | |
| 58 | git checkout fiddler-branch && |
| 59 | test_commit "Bad commit" file "Silly" I && |
| 60 | |
| 61 | test_tick && git revert I && note J && |
| 62 | |
| 63 | git checkout main && |
| 64 | test_tick && git merge --no-ff fiddler-branch && |
| 65 | note K && |
| 66 | |
| 67 | test_commit "file=Part 1" file "Part 1" L && |
| 68 | |
| 69 | test_tick && test_must_fail git merge part2-branch && |
| 70 | test_commit M file "Parts 1+2" |
| 71 | ' |
| 72 | |
| 73 | check_outcome () { |
| 74 | outcome=$1 |
| 75 | shift |
| 76 | |
| 77 | case "$1" in |
| 78 | *"("*) |
| 79 | FMT="%P %H | %s" |
| 80 | munge_actual=" |
| 81 | s/^\([^ ]*\) \([^ ]*\) .*/(\1)\2/ |
| 82 | s/ //g |
| 83 | s/()// |
| 84 | " |
| 85 | ;; |
| 86 | *) |
| 87 | FMT="%H | %s" |
| 88 | munge_actual="s/^\([^ ]*\) .*/\1/" |
| 89 | ;; |
| 90 | esac && |
| 91 | printf "%s\n" $1 >expect && |
| 92 | shift |
| 93 | |
| 94 | param="$*" && |
| 95 | test_expect_$outcome "log $param" ' |
| 96 | git log --format="$FMT" $param | |
| 97 | unnote >actual && |
| 98 | sed -e "$munge_actual" <actual >check && |
| 99 | test_cmp expect check |
| 100 | ' |
| 101 | } |
| 102 | |
| 103 | check_result () { |
| 104 | check_outcome success "$@" |
| 105 | } |
| 106 | |
| 107 | # Odd merge G drops a change in F. Important that G is listed in all |
| 108 | # except the most basic list. Achieving this means normal merge D will also be |
| 109 | # shown in normal full-history, as we can't distinguish unless we do a |
| 110 | # simplification pass. After simplification, D is dropped but G remains. |
| 111 | # Also, merge simplification of G should not drop the parent B that the default |
| 112 | # simple history follows. |
| 113 | check_result 'M L K J I H G F E D C B A' |
| 114 | check_result '(LH)M (K)L (GJ)K (I)J (G)I (G)H (FE)G (D)F (B)E (BC)D (A)C (A)B A' |
| 115 | check_result 'M H L K J I G E F D C B A' --topo-order |
| 116 | check_result 'M L H B A' -- file |
| 117 | check_result '(LH)M (B)L (B)H (A)B A' --parents -- file |
| 118 | check_result 'M L J I H G F D B A' --full-history -- file |
| 119 | check_result '(LH)M (K)L (GJ)K (I)J (G)I (G)H (FB)G (D)F (BA)D (A)B A' --full-history --parents -- file |
| 120 | check_result '(LH)M (G)H (J)L (I)J (G)I (FB)G (B)F (A)B A' --simplify-merges -- file |
| 121 | check_result 'M L K G F D B A' --first-parent |
| 122 | check_result 'M L G F B A' --first-parent -- file |
| 123 | |
| 124 | # Check that odd merge G remains shown when F is the bottom. |
| 125 | check_result 'M L K J I H G E' F..M |
| 126 | check_result 'M H L K J I G E' F..M --topo-order |
| 127 | check_result 'M L H' F..M -- file |
| 128 | check_result '(LH)M (B)L (B)H' --parents F..M -- file |
| 129 | check_result 'M L J I H G' F..M --full-history -- file |
| 130 | check_result '(LH)M (K)L (GJ)K (I)J (G)I (G)H (FB)G' F..M --full-history --parents -- file |
| 131 | check_result '(LH)M (G)H (J)L (I)J (G)I (FB)G' F..M --simplify-merges -- file |
| 132 | check_result 'M L K J I H G' F..M --ancestry-path |
| 133 | check_result 'M L J I H G' F..M --ancestry-path -- file |
| 134 | check_result '(LH)M (K)L (GJ)K (I)J (G)I (G)H (FE)G' F..M --ancestry-path --parents -- file |
| 135 | check_result '(LH)M (G)H (J)L (I)J (G)I (FE)G' F..M --ancestry-path --simplify-merges -- file |
| 136 | check_result 'M L K G' F..M --first-parent |
| 137 | check_result 'M L G' F..M --first-parent -- file |
| 138 | |
| 139 | # Note that G is pruned when E is the bottom, even if it's the same commit list |
| 140 | # If we want history since E, then we're quite happy to ignore G that took E. |
| 141 | check_result 'M L K J I H G' E..M --ancestry-path |
| 142 | check_result 'M L J I H' E..M --ancestry-path -- file |
| 143 | check_result '(LH)M (K)L (EJ)K (I)J (E)I (E)H' E..M --ancestry-path --parents -- file |
| 144 | check_result '(LH)M (E)H (J)L (I)J (E)I' E..M --ancestry-path --simplify-merges -- file |
| 145 | |
| 146 | # Should still be able to ignore I-J branch in simple log, despite limiting |
| 147 | # to G. |
| 148 | check_result 'M L K J I H' G..M |
| 149 | check_result 'M H L K J I' G..M --topo-order |
| 150 | check_result 'M L H' G..M -- file |
| 151 | check_result '(LH)M (G)L (G)H' G..M --parents -- file |
| 152 | check_result 'M L J I H' G..M --full-history -- file |
| 153 | check_result 'M L K J I H' G..M --full-history --parents -- file |
| 154 | check_result 'M H L J I' G..M --simplify-merges -- file |
| 155 | check_result 'M L K J I H' G..M --ancestry-path |
| 156 | check_result 'M L J I H' G..M --ancestry-path -- file |
| 157 | check_result 'M L K J I H' G..M --ancestry-path --parents -- file |
| 158 | check_result 'M H L J I' G..M --ancestry-path --simplify-merges -- file |
| 159 | |
| 160 | # B..F should be able to simplify the merge D from irrelevant side branch C. |
| 161 | # Default log should also be free to follow B-D, and ignore C. |
| 162 | # But --full-history shouldn't drop D on its own - without simplification, |
| 163 | # we can't decide if the merge from INTERESTING commit C was sensible. |
| 164 | check_result 'F D C' B..F |
| 165 | check_result 'F' B..F -- file |
| 166 | check_result '(B)F' B..F --parents -- file |
| 167 | check_result 'F D' B..F --full-history -- file |
| 168 | check_result '(D)F (BA)D' B..F --full-history --parents -- file |
| 169 | check_result '(B)F' B..F --simplify-merges -- file |
| 170 | check_result 'F D' B..F --ancestry-path |
| 171 | check_result 'F' B..F --ancestry-path -- file |
| 172 | check_result 'F' B..F --ancestry-path --parents -- file |
| 173 | check_result 'F' B..F --ancestry-path --simplify-merges -- file |
| 174 | check_result 'F D' B..F --first-parent |
| 175 | check_result 'F' B..F --first-parent -- file |
| 176 | |
| 177 | # E...F should be equivalent to E F ^B, and be able to drop D as above. |
| 178 | check_result 'F' E F ^B -- file # includes D |
| 179 | check_result 'F' E...F -- file # includes D |
| 180 | |
| 181 | # Any sort of full history of C..F should show D, as it's the connection to C, |
| 182 | # and it differs from it. |
| 183 | check_result 'F D B' C..F |
| 184 | check_result 'F B' C..F -- file |
| 185 | check_result '(B)F (A)B' C..F --parents -- file |
| 186 | check_result 'F D B' C..F --full-history -- file |
| 187 | check_result '(D)F (BC)D (A)B' C..F --full-history --parents -- file |
| 188 | check_result '(D)F (BC)D (A)B' C..F --simplify-merges -- file |
| 189 | check_result 'F D' C..F --ancestry-path |
| 190 | check_result 'F D' C..F --ancestry-path -- file |
| 191 | check_result 'F D' C..F --ancestry-path --parents -- file |
| 192 | check_result 'F D' C..F --ancestry-path --simplify-merges -- file |
| 193 | check_result 'F D B' C..F --first-parent |
| 194 | check_result 'F B' C..F --first-parent -- file |
| 195 | |
| 196 | |
| 197 | test_done |