Thomas Gazagnaire

After a few more code iterations, I came up with #1493 - it's a pretty minimal change to the engine (so less risks of bugs) with a cleaner API (I...

I've also opened https://github.com/mirage/mirage/pull/1494 to explore how we could use ppxlib to generate code fragments (instead of raw strings). That could help to define runtime keys closer to where they...

Just to clarify: the `ppx` is only used in the tool to produce correct ASTs (instead of building strings) - the generated code doesn't link with ppx at all. I'm...

So quickly testing #1493 on `dns-secondary`, I got this diff: ```diff open Mirage -let keys = - let doc = Key.Arg.info ~doc:"nsupdate keys (name:type:value,...)" ["keys"] in - Key.(create "keys" Arg.(opt...

I have opened various PRs to update with the latest API changes to see what the changes look like: - https://github.com/mirage/retreat.mirage.io/pull/8 - https://github.com/robur-coop/unipi/pull/26 - https://github.com/robur-coop/tlstunnel/pull/19 - https://github.com/robur-coop/dns-letsencrypt-secondary/pull/11 - https://github.com/robur-coop/dns-primary-git/pull/17 -...

My workflow is to use a `mirage configure -f /config.ml` at the root of the repo (where I want to create the duniverse folder). I'm using a custom Makefile (which...

I've investigated the issue a little bit. This happens when inotify raise an extra `[MOVED_TO]` event. This causes some havoc: ``` grep firing update-8 +60738228us irmin.watch [DEBUG] notify-all[4.102:master]: 438 firing!...

(I'm not sure why we are reverting back in time - there might be a cached state somewhere in irmin-watcher)

Could we add temporary workarounds for the failing tests? I'd be very happy to merge that PR but I also would like to keep the CI green to detect future...

That's a great idea and something I wanted to do for a very long time but that API is hard to define properly. as `Key.t` is (currently) generic and opaque....