Erik Martin-Dorel

> Maybe the new option would help with the management of stored state during such transitions ? I didn't think about this (it's another topic!): maybe there will also be...

Hi @AltGr! Mostly yes, this could work. (Except that `[ -d www ] && …` would yield a bad exit code if `www` doesn't exist.) Actually when Docker entrypoints come...

Thanks @AltGr ! > After reading https://hynek.me/articles/docker-signals/ I still think signals should work, since we already use dumb-init... AFAIU, it would be very OK *if* the shell is ephemeral (using...

@fccm thanks for your report. I transferred it to the `learn-ocaml-corpus` repo where it naturally belongs. That's a good point indeed, ``` let hd cl = try Some (List.hd (to_list...

Dear @gares, Sorry I just skimmed your long comment, but note that for the regression ``` - name: Install opam-publish # 2.0.3 because more recent versions do not respect OPAMYES...

FYI @Zimmi48 @gares, the opam-publish maintainers [just released](https://discuss.ocaml.org/t/ann-opam-publish-2-3-0/13337) version 2.3.0, which contains a new option `--no-confirmation`, which makes it possible to greatly simplify the GHA workflow of learn-ocaml I was...

I did several experiments with Gitpod these days (awesome tool BTW!), and also faced with this issue, after seing https://www.gitpod.io/docs/configure/workspaces/workspace-image#using-a-custom-dockerfile : > Caveat: > COPY instructions in a Dockerfile is...

Hi @axonasif, thanks a lot for your feedback! IIRC, the workaround `RUN echo 1` worked, while none of your two workarounds worked (`https://gitpod.io/#imagebuild/` and `ARG some_string=1`), but I'm not 100%...

@monnier Hi again!, FYI we had a PG telco this morning, and just to recap: * @Matafou (the assignee of this PR) plans to merge this PR soon this week...

Hi Stefan! > > I was the main author of this file `init-tests.el` and `coq-tests.el`, and I'm totally aware that they raise unusual side effects at load time, but note...