log

age author description
Mon, 29 May 2017 05:23:30 +0200 Pierre-Yves David checkheads: simplify the code around obsolescence post-processing
Mon, 29 May 2017 05:21:38 +0200 Pierre-Yves David checkheads: drop now unused filtering of 'unsyncedheads'
Mon, 29 May 2017 05:20:09 +0200 Pierre-Yves David checkheads: clarify that we no longer touch the head unknown locally
Mon, 29 May 2017 05:33:59 +0200 Pierre-Yves David headssummary: ensure all returned lists are sorted
Mon, 29 May 2017 05:37:19 +0200 Pierre-Yves David discovery: also use lists for the returns of '_oldheadssummary'
Mon, 29 May 2017 05:53:51 +0200 Pierre-Yves David test: add a push race case where the updated head is obsoleted
Mon, 29 May 2017 05:53:24 +0200 Pierre-Yves David test: add a push race case where obsoleted head is updated