Yann Régis Gianas

#302 is merged!

Hi Erik, how far are we from the completion of this PR?

Hi @erikmd, what is the status of this PR?

I guess we are close to a mergeable PR, right @erikmd ?

Hello @erikmd : what's the status of this PR? Should we close it so that you can integrate its feature in a more incremental way?

We could implement that kind of customization by using as label the content of a file named "welcome-nickname-label.txt" at the root of the folder. If it is not present, the...

We need to make the configuration file persist through `learn-ocaml build`.

Thank you @hannelita . This indeed looks like a weird way to handle errors! I will investigate.

Fixed by #156 Please look at the description of this PR for documentation. (A proper documentation will arrive soon.)

Documentation still needed.