| Sun, 28 May 2017 00:12:38 +0200 |
Pierre-Yves David |
check-concurrency: expose the feature as 'concurrent-push-mode'
|
| 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: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
|
| Sat, 27 May 2017 22:27:56 +0200 |
Pierre-Yves David |
test: add the mirror push race case for non-contiguous branch head
|
| Sat, 27 May 2017 22:27:41 +0200 |
Pierre-Yves David |
test: add a push race case where non-contiguous branch head are created
|
| Sat, 27 May 2017 22:27:09 +0200 |
Pierre-Yves David |
test: add a push race case where the raced push touch multiple heads
|
| Sat, 27 May 2017 22:26:51 +0200 |
Pierre-Yves David |
test: add a push race case where racing push touches multiple heads
|
| Sat, 27 May 2017 22:26:35 +0200 |
Pierre-Yves David |
test: add a push race case where racing push create a new named branch
|
| Sat, 27 May 2017 22:26:16 +0200 |
Pierre-Yves David |
test: add a push race case where raced push created a new named branch
|
| Sat, 27 May 2017 22:25:40 +0200 |
Pierre-Yves David |
test: add a push race case where the racing client create a new head
|
| Sat, 27 May 2017 22:25:20 +0200 |
Pierre-Yves David |
test: add a push race case where each client replaces a different head
|
| Sat, 27 May 2017 22:24:58 +0200 |
Pierre-Yves David |
test: add a file dedicated to push race between clients
|
