| Mon, 29 May 2017 05:20:09 +0200 | Pierre-Yves David | checkheads: clarify that we no longer touch the head unknown locally | changeset | files |
| Mon, 29 May 2017 05:33:59 +0200 | Pierre-Yves David | headssummary: ensure all returned lists are sorted | changeset | files |
| Mon, 29 May 2017 05:37:19 +0200 | Pierre-Yves David | discovery: also use lists for the returns of '_oldheadssummary' | changeset | files |
| Mon, 29 May 2017 05:53:51 +0200 | Pierre-Yves David | test: add a push race case where the updated head is obsoleted | changeset | files |