log

age author description
Mon, 29 May 2017 05:53:58 +0200 Pierre-Yves David push: add a way to allow concurrent pushes on unrelated heads
Mon, 29 May 2017 05:52:13 +0200 Pierre-Yves David headsummary: expose the 'discardedheads' set in the headssummary
Mon, 29 May 2017 05:47:27 +0200 Pierre-Yves David checkheads: perform obsolescence post processing directly in _headssummary