Fix root path issue with Irmin-git, and remove allow_duplicate for root spec key
#4086
| Job | Run time |
|---|---|
| 2s | |
| 2s |
Irmin-git, and remove allow_duplicate for root spec key
#4086
| Job | Run time |
|---|---|
| 2s | |
| 2s |