Thomas Gazagnaire
Thomas Gazagnaire
Currently, `--datakit` and `--listen` arguments of the GitHub bridge, as well as the `-a` address of the GH webhook listener. For instance we have: - `tcp://localhost:5640` (`--listen`) - `tcp:localhost:5640` (`--datakit`)...
There is no GC in Irmin (we just use `git gc` for now). This needs to be fixed if we want to version control everything. Moreover, we need to understand...
Seems that terminal likes to seek on stdout of files put into background (not sure why, need to investigate): ``` +321731243us fs9p [DEBUG] S tag 1 Read(len(data): 8) +321731281us fs9p...
It is not clear that we want to store that information in the database itself, as we clearly need some session (secret) data as private keys. Ideally we would re-use...
Can allow to download and upload big blobs to S3 directly using the filesystem interface.
This looks like a project with lots of good ideas and well-documented protocols: https://github.com/syncthing/syncthing
We should try to generate mli files when possible to avoid this kind of warnings for generated code: ``` File "applications/crypto/key_gen.ml", line 1: Warning 70 [missing-mli]: Cannot find interface file....
It seems that it's not possible to pass keys with spaces anymore: ``` $ dune exec -- tutorial/hello-key/main.exe --hello="built with dune" hello_key: too many arguments, don't know what to do...