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