Reynir Björnsson

I don't know much about it. For bash-completion I suspect it could add completion scripts from installed opam packages, and I think those can run arbitrary commands. Then again I...

Thanks for the answer! I think that's a very reasonable approach and goal. So I guess "statically correct HTML5" could be interpreted as things we can statically verify. Do you...

Surely it must be possible to comb through opam-repository.git to get a maximal opam-repository with the latest and greatest metadata so your lock files don't break? Given that this problem...

The `Metrics.Other _` constructor takes a pretty-printer. So it seems for other values the only thing you can do is print them / make them into a string. So it's...

Hm but I pin `git-kv`. I think the trouble is `git-kv` pins `carton` packages where `carton-git` doesn't exist. And we depend on `git-mirage` which needs the not-so-smart parts of the...

The error message would work if it was printed and not escaped and packaged into a `Invalid_argument`. So we could consider that. I think this is a pattern we've used...

In Debian packages you can mark files as configuration and on upgrades you will get some options how to handle it if they changed. It seems you add them to...

I stumbled upon this just now. It seemed fixed itself after I ran `opam update`. At least I can not reproduce any longer.

Hi! Out of curiosity I found that mDNS was removed when uDNS was merged into this repository: https://discuss.ocaml.org/t/psa-dns-2-0-a-new-udns-era-dawns/3781 (there's an still-open issue to document the removal ha https://github.com/mirage/ocaml-dns/issues/160) I don't...

Yes, the certificate is generated at boot and thus the certificate will be different each boot (think: the validity will be different each time). I believe you should be able...