| 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
|
| Fri, 02 Jun 2017 14:08:26 -0700 |
Kyle Lippincott |
keepalive: set buffering=True to do more efficient reads of headers
|
