debian/source/format
author Pierre-Yves David <pierre-yves.david@ens-lyon.org>
Wed, 29 Mar 2017 15:48:27 +0200
changeset 2249 0ecb9fba6364
parent 755 0021301f7fde
permissions -rw-r--r--
checkheads: handle partial obsolescence We now properly detects situations were only parts of the remote branch is obsoleted. To do so, we process children in the branch recursively to see if they will be obsolete. The current code has some trouble when the remote branch in unknown locally, or when the prune happened on a successors that is not relevant to the push. These case will be handled later. The processing code is becoming more and more complex, a lighter approach would be to check for the obsolescence markers that are relevant to the pushed set, but I prefer to stick with the current approach until more test cases are written.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
755
0021301f7fde debian: add source/format file
Faheem Mitha <faheem@faheem.info>
parents:
diff changeset
     1
3.0 (quilt)