[ANN] ppx_show: a show deriver based of ppxlib (works on 4.08.0)

At first, it doesn’t allow to login through GitHub account, like most of the GitLab instances do. Most of the people would prefer to avoid registering in one more service among thousands. Secondly, once the account is established, I recommend to check the lab command line GitLab and GitHub client, it can streamline sending pull-requests and moving code back and forth between GitHub and GitLab. See for example lab merge-request for creating new MR/PRs and lab mr for managing existing ones. More in their documentation.

1 Like