OCamlverse/ocamlverse.github.io

Github integration with Discord

rizo opened this issue · 1 comments

rizo commented

We should probably integrate the OCamverse repository with the Discord’s #github channel.

bluddy commented

I think this is done.