Thomas Gazagnaire

I think this is currently broken.

@dbuenzli > I think we may also want Js and Doc here to hook into $BROWSER or some kind of [reload-browser](https://github.com/dbuenzli/pkgopkg/blob/master/bin/reload-browser).

I noticed that `Lwt_unix.files_of_directory` is always slower that call directly `Unix.readdir`. Usually it's 2 or 3 times slower, but on some contrived examples I managed to get a 6x slowdown....

The update between 0.10 and 0.11 broke the API (as expected) but the related errors were not very easy to debug. It would have been much easier to track if...

For projects when you have a lot of tags, it is useful to only select/show the one which are interesting, for instance by using a regexp or by excluding tags...

It would be great to be able to automatically restart some failed steps in the CI pipeline if we have hit a known issue (described as kept as a perl...

Host docs in datakit

1

Currently with host the API docs on our local server, and everything is very manual. Would be nice if we can integrate this in the rest of the CI flow...

Better username in commit metadata

1

Currently, the Git history in pinata looks like this: ``` commit 7be99481c37abb6a4d92a3686d72491c793af810 Merge: 390f6e1 390f6e1 Author: irmin9p Date: Mon Feb 29 10:56:34 2016 +0000 (no commit message) commit 390f6e1b55ab3e7f0b5aaaff9b1d33c779d5d933 Merge:...