Fabrizio Ferrai

Yep, this sounds like a bug in the way we model the API in the types: [here](https://github.com/KSF-Media/gitlab-dashboard/blob/master/src/Gitlab.purs#L132) the `commit` field should be a `Maybe Commit`

We were considering integrating React in this app. It would work so that the current app will be a component that can be taken over by Halogen, and this new...

Hi @norrs! I assume you added a private token to the page query params? (that should take care of the 401) Re CORS: can you share the exact error you're...

@norrs nice, that's a really good analysis 👍 I'll consider this a bug, but we'll get around to fixing this probably in some weeks (we have some things to ship...

Thanks! I tried upgrating and opened #90, code compiles fine but I didn't manage to get the tests to compile (I'm afraid I don't understand kotlin-mockito)

This also includes implementing binary serialization and deserialization for all imports.

Note: this became the CORS check

Hi @coot, thanks for this! The PR looks great, but CI is failing - it looks like we should find a way to install zephyr there. CI is Netlify, and...

@coot I see - there's nothing special with Netlify, my only point was that it just runs things from the `package.json`. So maybe we could `wget` zephyr in there?

Another way to fix this would be to port the CI to GitHub Actions (and GitHub pages) and use [this action](https://github.com/thomashoneyman/setup-purescript) that takes care of installing `zephyr`, `purs`, `spago`, etc