Hi everyone. I am using irmin and irmin-graphql. There is one thing I noticed while I am using irmin-graphql client. The thing is graphql query result of sub directories are represented reversibly. For example this is the query in graphql: { master { tree { get_tree(key: "/src/ppx_irmi…

This was indeed a bug, soon to be fixed by https://github.com/mirage/irmin/pull/989 . Thanks for the report!

Irmin graphql keys are reversed

CraigFe June 29, 2020, 9:10am 7

1 Like