Anil Madhavapeddy
Anil Madhavapeddy
An error doesn't mean that the connection should be aborted; it means that the URI shouldn't be propagated. From that RFC text, it seems valid for me for an HTTP...
See mirage/irmin#262
what was the git server? was it github?
This would still be really useful to have for rapid bootstrapping of fresh CI setups.
Another thought: it would help with unprivileged monitoring to be able to put in a `poll: daily` (or similar) into the monitor file to make it not establish a webhook,...
aha, this might be something for the datakit-ci process to help with then? An unprivileged mode where instead of writing a `.monitor` file it uses `.dirty` on a loop but...
LOCAL BRIDGE!!!! Yes!!
Thanks for the excellent upfront planning of your forthcoming thesis work; I look forward to seeing this progress! My initial reaction is to encourage you to look at previous work...
I ran this through Google Translate: > An OCaml library manipulation tool would be very useful for big projects. > It would need functions similar to those of gnu ar:...
https://gist.github.com/avsm/30c34de7c48a0fe957dba97c9f4c9be2 has another exceptionally unhelpful message from. ``` opam switch create 5.0.0~alpha0 opam install dune-release ``` The root cause is `odoc-parser` requiring ocaml